%0 Conference Paper %1 conf/tacas/Schmidt03 %A 0004, Karsten Schmidt %B TACAS %D 2003 %E Garavel, Hubert %E Hatcliff, John %I Springer %K invariant %P 473-488 %T Using Petri Net Invariants in State Space Construction. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2003.html#Schmidt03 %V 2619 %@ 3-540-00898-5

@inproceedings{conf/tacas/Schmidt03, added-at = {2014-02-11T23:20:30.000+0100}, author = {0004, Karsten Schmidt}, biburl = {https://www.bibsonomy.org/bibtex/2ac6a7083adc5bec5c3e823bd84f54674/eperzhand}, booktitle = {TACAS}, crossref = {conf/tacas/2003}, editor = {Garavel, Hubert and Hatcliff, John}, ee = {http://dx.doi.org/10.1007/3-540-36577-X_35}, interhash = {cce1f1098d40f71aa18c34e79fa6480b}, intrahash = {ac6a7083adc5bec5c3e823bd84f54674}, isbn = {3-540-00898-5}, keywords = {invariant}, pages = {473-488}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2014-02-11T23:20:46.000+0100}, title = {Using Petri Net Invariants in State Space Construction.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2003.html#Schmidt03}, volume = 2619, year = 2003 }