%0 Conference Paper %1 conf/apn/LautenbachR94 %A Lautenbach, Kurt %A Ridder, Hanno %B Application and Theory of Petri Nets %D 1994 %E Valette, Robert %I Springer %K invariant %P 358-375 %T Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. %U http://dblp.uni-trier.de/db/conf/apn/apn1994.html#LautenbachR94 %V 815 %@ 3-540-58152-9

@inproceedings{conf/apn/LautenbachR94, added-at = {2014-02-11T23:24:16.000+0100}, author = {Lautenbach, Kurt and Ridder, Hanno}, biburl = {https://www.bibsonomy.org/bibtex/28aa01c8a262bf7814b6966750ac7ef88/eperzhand}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1994}, description = {dblp}, editor = {Valette, Robert}, ee = {http://dx.doi.org/10.1007/3-540-58152-9_20}, interhash = {ec8773c9c01e1b1068da22bf2180559f}, intrahash = {8aa01c8a262bf7814b6966750ac7ef88}, isbn = {3-540-58152-9}, keywords = {invariant}, pages = {358-375}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2014-02-11T23:24:16.000+0100}, title = {Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn1994.html#LautenbachR94}, volume = 815, year = 1994 }