%0 Journal Article %1 journals/topnoc/HeinerRST16 %A Heiner, Monika %A Rohr, Christian %A Schwarick, Martin %A Tovchigrechko, Alexey A. %B Trans. Petri Nets and Other Models of Concurrency %D 2016 %E Koutny, Maciej %E Desel, Jörg %E Kleijn, Jetty %I Springer %J T. Petri Nets and Other Models of Concurrency %K dblp %P 286-296 %T MARCIE's Secrets of Efficient Model Checking. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc11.html#HeinerRST16 %V 11 %@ 978-3-662-53400-7

@article{journals/topnoc/HeinerRST16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Heiner, Monika and Rohr, Christian and Schwarick, Martin and Tovchigrechko, Alexey A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/289d3a745c6435050b7839ba3dbf183cd/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2016-11}, editor = {Koutny, Maciej and Desel, Jörg and Kleijn, Jetty}, ee = {https://www.wikidata.org/entity/Q63241778}, interhash = {dbf58ff9a7d99ad32e3e6ba04c3d3868}, intrahash = {89d3a745c6435050b7839ba3dbf183cd}, isbn = {978-3-662-53400-7}, journal = {T. Petri Nets and Other Models of Concurrency}, keywords = {dblp}, pages = {286-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:29:00.000+0200}, title = {MARCIE's Secrets of Efficient Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc11.html#HeinerRST16}, volume = 11, year = 2016 }