%0 Conference Paper %1 conf/apn/PastorRCB94 %A Pastor, Enric %A Roig, Oriol %A Cortadella, Jordi %A Badia, Rosa M. %B Application and Theory of Petri Nets %D 1994 %E Valette, Robert %I Springer %K dblp %P 416-435 %T Petri Net Analysis Using Boolean Manipulation. %U http://dblp.uni-trier.de/db/conf/apn/apn1994.html#PastorRCB94 %V 815 %@ 3-540-58152-9

@inproceedings{conf/apn/PastorRCB94, added-at = {2018-11-14T00:00:00.000+0100}, author = {Pastor, Enric and Roig, Oriol and Cortadella, Jordi and Badia, Rosa M.}, biburl = {https://www.bibsonomy.org/bibtex/2522fda663dc7c6df881af3bf9d1286cf/dblp}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1994}, editor = {Valette, Robert}, ee = {https://www.wikidata.org/entity/Q56893101}, interhash = {7260e6fa1ce2c8939566947f96363a5c}, intrahash = {522fda663dc7c6df881af3bf9d1286cf}, isbn = {3-540-58152-9}, keywords = {dblp}, pages = {416-435}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:20.000+0200}, title = {Petri Net Analysis Using Boolean Manipulation.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn1994.html#PastorRCB94}, volume = 815, year = 1994 }