-
Selection by year
-
Selection by authors
-
Complete lists
BadouelD04
Eric Badouel, Philippe Darondeau. The synthesis of Petri nets from path-automatic specifications. Information and Computation, 193(2):117-135, 2004.
Contact
Eric Badouel http://people.rennes.inria.fr/Eric.Badouel/index.html
Philippe Darondeau
BibTex Reference
@article{BadouelD04,
Author = {Badouel, Eric and Darondeau, Philippe},
Title = {The synthesis of Petri nets from path-automatic specifications},
Journal = {Information and Computation},
Volume = {193},
Number = {2},
Pages = {117--135},
Year = {2004}
}
EndNote Reference [help]
Get EndNote Reference (.ref)