%0 Conference Paper %1 conf/apn/Wolf18a %A Wolf, Karsten %B Petri Nets %D 2018 %E Khomenko, Victor %E Roux, Olivier H. %I Springer %K dblp %P 351-362 %T Petri Net Model Checking with LoLA 2. %U http://dblp.uni-trier.de/db/conf/apn/pn2018.html#Wolf18a %V 10877 %@ 978-3-319-91268-4

@inproceedings{conf/apn/Wolf18a, added-at = {2018-05-29T00:00:00.000+0200}, author = {Wolf, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/22652d0d195de84864798744933c36dd3/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2018}, editor = {Khomenko, Victor and Roux, Olivier H.}, ee = {https://doi.org/10.1007/978-3-319-91268-4_18}, interhash = {5bffea707772d3280bbfa32def92e591}, intrahash = {2652d0d195de84864798744933c36dd3}, isbn = {978-3-319-91268-4}, keywords = {dblp}, pages = {351-362}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:28.000+0200}, title = {Petri Net Model Checking with LoLA 2.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2018.html#Wolf18a}, volume = 10877, year = 2018 }