%0 Conference Paper %1 conf/apn/GommKPW93 %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 %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{conf/apn/GommKPW93, added-at = {2023-12-14T16:03:20.000+0100}, author = {Gomm, Dominik and Kindler, Ekkart and Paech, Barbara and Walter, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/21c97a06a5748883a07c0b1125bbfefb5/admin}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1993}, editor = {Marsan, Marco Ajmone}, ee = {https://doi.org/10.1007/3-540-56863-8_51}, interhash = {f2e9685894dcca428b9c869dc6dbd53c}, intrahash = {1c97a06a5748883a07c0b1125bbfefb5}, isbn = {3-540-56863-8}, keywords = {}, pages = {262-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:03:20.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 }