%0 Generic
%T Petri Net Reachability Graphs: Decidability Status of FO Properties
%A Darondeau, Philippe
%A Demri, Stéphane
%A Meyer, Roland
%A Morvan, Christophe
%A Philippe Darondeau and Stéphane Demri and Roland Meyer and Christophe Morvan
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K First order logic
%K Petri nets
%K Reachability graph
%D 2011
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation