%0 Conference Paper %1 conf/apn/EsparzaS90 %A Esparza, Javier %A Silva, Manuel %B Applications and Theory of Petri Nets %D 1990 %E Rozenberg, Grzegorz %I Springer %K free-choice-nets petri-nets refinement %P 118-139 %T Top-down synthesis of live and bounded free choice nets. %U http://dblp.uni-trier.de/db/conf/apn/apn1990.html#EsparzaS90 %V 524 %@ 3-540-54398-8

@inproceedings{conf/apn/EsparzaS90, added-at = {2009-11-01T11:52:33.000+0100}, author = {Esparza, Javier and Silva, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/28ecf95ce01ed19ac72d4a56a6f9401aa/hidders}, booktitle = {Applications and Theory of Petri Nets}, crossref = {conf/apn/1990}, date = {2009-09-19}, description = {dblp}, editor = {Rozenberg, Grzegorz}, ee = {http://dx.doi.org/10.1007/BFb0019972}, interhash = {d3692c28cf114e2e3888578e576cd901}, intrahash = {8ecf95ce01ed19ac72d4a56a6f9401aa}, isbn = {3-540-54398-8}, keywords = {free-choice-nets petri-nets refinement}, pages = {118-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-11-01T11:52:33.000+0100}, title = {Top-down synthesis of live and bounded free choice nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn1990.html#EsparzaS90}, volume = 524, year = 1990 }