%0 Journal Article %1 journals/insk/Wolf14 %A Wolf, Karsten %D 2014 %J Inform. Spektrum %K dblp %N 3 %P 220-228 %T Explizites Model Checking: Welche Vorteile bieten Petrinetze? %U http://dblp.uni-trier.de/db/journals/insk/insk37.html#Wolf14 %V 37

@article{journals/insk/Wolf14, added-at = {2020-08-13T00:00:00.000+0200}, author = {Wolf, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/230fcd2f604bdba9c872e892731dfce63/dblp}, ee = {https://doi.org/10.1007/s00287-013-0755-3}, interhash = {035980f07f10e1dffe7a11efc26cbce5}, intrahash = {30fcd2f604bdba9c872e892731dfce63}, journal = {Inform. Spektrum}, keywords = {dblp}, number = 3, pages = {220-228}, timestamp = {2020-08-14T11:49:01.000+0200}, title = {Explizites Model Checking: Welche Vorteile bieten Petrinetze?}, url = {http://dblp.uni-trier.de/db/journals/insk/insk37.html#Wolf14}, volume = 37, year = 2014 }