%0 Conference Paper %1 conf/concur/EsparzaS91 %A Esparza, Javier %A Silva, Manuel %B CONCUR %D 1991 %E Baeten, Jos C. M. %E Groote, Jan Friso %I Springer %K free-choice-nets petri-nets refinement %P 172-187 %T Compositional Synthesis of Live and Bounded Free Choice Petri Nets. %U http://dblp.uni-trier.de/db/conf/concur/concur1991.html#EsparzaS91 %V 527 %@ 3-540-54430-5

@inproceedings{conf/concur/EsparzaS91, added-at = {2009-11-01T11:55:54.000+0100}, author = {Esparza, Javier and Silva, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/25748e5598b56b8b78de6d0886dbac64c/hidders}, booktitle = {CONCUR}, crossref = {conf/concur/1991}, date = {2009-10-13}, description = {dblp}, editor = {Baeten, Jos C. M. and Groote, Jan Friso}, ee = {http://dx.doi.org/10.1007/3-540-54430-5_88}, interhash = {4d4524c8fcb25aa879434b303e994694}, intrahash = {5748e5598b56b8b78de6d0886dbac64c}, isbn = {3-540-54430-5}, keywords = {free-choice-nets petri-nets refinement}, pages = {172-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-11-01T11:56:16.000+0100}, title = {Compositional Synthesis of Live and Bounded Free Choice Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1991.html#EsparzaS91}, volume = 527, year = 1991 }