%0 Journal Article %1 journals/sosym/Wolf15 %A Wolf, Karsten %D 2015 %J Software and Systems Modeling %K dblp %N 2 %P 711-717 %T The Petri net twist in explicit model checking. %U http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#Wolf15 %V 14

@article{journals/sosym/Wolf15, added-at = {2019-08-19T00:00:00.000+0200}, author = {Wolf, Karsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b4fcfe67984c9555a229063114308b51/dblp}, ee = {https://doi.org/10.1007/s10270-014-0422-4}, interhash = {94aa1872e989162d76393fc2f8dfd66c}, intrahash = {b4fcfe67984c9555a229063114308b51}, journal = {Software and Systems Modeling}, keywords = {dblp}, number = 2, pages = {711-717}, timestamp = {2019-09-27T06:38:05.000+0200}, title = {The Petri net twist in explicit model checking.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#Wolf15}, volume = 14, year = 2015 }