%0 Conference Paper %1 conf/apn/BonnelandDJJS18 %A Bønneland, Frederik %A Dyhr, Jakob %A Jensen, Peter Gjøl %A Johannsen, Mads %A Srba, Jirí %B Petri Nets %D 2018 %E Khomenko, Victor %E Roux, Olivier H. %I Springer %K dblp %P 143-163 %T Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/pn2018.html#BonnelandDJJS18 %V 10877 %@ 978-3-319-91268-4

@inproceedings{conf/apn/BonnelandDJJS18, added-at = {2023-03-21T00:00:00.000+0100}, author = {Bønneland, Frederik and Dyhr, Jakob and Jensen, Peter Gjøl and Johannsen, Mads and Srba, Jirí}, biburl = {https://www.bibsonomy.org/bibtex/2ac5621d4562f7e5dbe6625700007fc32/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_8}, interhash = {ac548d642e962daff1de82708a3bbac3}, intrahash = {ac5621d4562f7e5dbe6625700007fc32}, isbn = {978-3-319-91268-4}, keywords = {dblp}, pages = {143-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:04:25.000+0200}, title = {Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2018.html#BonnelandDJJS18}, volume = 10877, year = 2018 }