%0 Conference Paper %1 conf/smc/HeinerM98 %A Heiner, Monika %A Menzel, Thomas %B SMC %D 1998 %I IEEE %K dblp %P 716-721 %T Instruction list verification using a Petri net semantics. %U http://dblp.uni-trier.de/db/conf/smc/smc1998.html#HeinerM98 %@ 0-7803-4778-1

@inproceedings{conf/smc/HeinerM98, added-at = {2018-06-07T00:00:00.000+0200}, author = {Heiner, Monika and Menzel, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2997b467d574c481d9506337c49ef0e6f/dblp}, booktitle = {SMC}, crossref = {conf/smc/1998}, ee = {https://doi.org/10.1109/ICSMC.1998.725498}, interhash = {26881250ef598f650a883be16d524d8f}, intrahash = {997b467d574c481d9506337c49ef0e6f}, isbn = {0-7803-4778-1}, keywords = {dblp}, pages = {716-721}, publisher = {IEEE}, timestamp = {2019-10-17T22:28:34.000+0200}, title = {Instruction list verification using a Petri net semantics.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc1998.html#HeinerM98}, year = 1998 }