%0 Conference Paper %1 conf/date/PastorC98 %A Pastor, Enric %A Cortadella, Jordi %B DATE %D 1998 %E Dewilde, Patrick M. %E Rammig, Franz J. %E Musgrave, Gerry %I IEEE Computer Society %K dblp %P 790-795 %T Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. %U http://dblp.uni-trier.de/db/conf/date/date1998.html#PastorC98 %@ 0-8186-8359-7

@inproceedings{conf/date/PastorC98, added-at = {2023-03-24T00:00:00.000+0100}, author = {Pastor, Enric and Cortadella, Jordi}, biburl = {https://www.bibsonomy.org/bibtex/2039b4e912090376c80eeea7b89c0bfc7/dblp}, booktitle = {DATE}, crossref = {conf/date/1998}, editor = {Dewilde, Patrick M. and Rammig, Franz J. and Musgrave, Gerry}, ee = {https://www.wikidata.org/entity/Q56893325}, interhash = {4704143d286f5d30d8d2b72f020b5d28}, intrahash = {039b4e912090376c80eeea7b89c0bfc7}, isbn = {0-8186-8359-7}, keywords = {dblp}, pages = {790-795}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:22:14.000+0200}, title = {Efficient Encoding Schemes for Symbolic Analysis of Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/date/date1998.html#PastorC98}, year = 1998 }