TY - GEN
AU - Darondeau, Philippe
AU - Demri, Stéphane
AU - Meyer, Roland
AU - Morvan, Christophe
AU - Philippe Darondeau and Stéphane Demri and Roland Meyer and Christophe Morvan
TI - Petri Net Reachability Graphs: Decidability Status of FO Properties
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - First order logic
KW - Petri nets
KW - Reachability graph
PY - 2011
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation