%0 Conference Paper %1 gomm1993compositional %A Gomm, Dominik %A Kindler, Ekkart %A Paech, Barbara %A Walter, Rolf %B Application and Theory of Petri Nets %D 1993 %E Marsan, Marco Ajmone %I Springer %K nets petri %P 262-281 %T Compositional Liveness Properties of EN-Systems. %U http://dblp.uni-trier.de/db/conf/apn/apn93.html#GommKPW93 %V 691 %@ 3-540-56863-8

@inproceedings{gomm1993compositional, added-at = {2015-11-12T11:09:18.000+0100}, author = {Gomm, Dominik and Kindler, Ekkart and Paech, Barbara and Walter, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/21c97a06a5748883a07c0b1125bbfefb5/smennicke}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1993}, description = {dblp}, editor = {Marsan, Marco Ajmone}, ee = {http://dx.doi.org/10.1007/3-540-56863-8_51}, interhash = {f2e9685894dcca428b9c869dc6dbd53c}, intrahash = {1c97a06a5748883a07c0b1125bbfefb5}, isbn = {3-540-56863-8}, keywords = {nets petri}, pages = {262-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2015-11-12T11:09:18.000+0100}, title = {Compositional Liveness Properties of EN-Systems.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn93.html#GommKPW93}, volume = 691, year = 1993 }