@misc{SchwarickTovchigrechko, author = {Schwarick, Martin and Tovchigrechko, Alexey A.}, title = {IDD-based model validation of biochemical networks}, series = {Theoretical Computer Science}, volume = {412}, journal = {Theoretical Computer Science}, number = {26}, issn = {0304-3975}, doi = {10.1016/j.tcs.2010.06.030}, pages = {2884 -- 2908}, language = {en} } @incollection{HeinerRohrSchwaricketal., author = {Heiner, Monika and Rohr, Christian and Schwarick, Martin and Tovchigrechko, Alexey A.}, title = {MARCIE's secrets of efficient model checking}, series = {Transactions on petri nets and other models of concurrency XI}, booktitle = {Transactions on petri nets and other models of concurrency XI}, editor = {Koutny, Maciej and Desel, J{\"o}rg and Kleijn, Jetty}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-662-53400-7}, doi = {10.1007/978-3-662-53401-4_14}, pages = {286 -- 296}, language = {en} } @inproceedings{HeinerSchwarickTovchigrechko, author = {Heiner, Monika and Schwarick, Martin and Tovchigrechko, Alexey A.}, title = {DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets}, language = {en} } @phdthesis{Tovchigrechko, author = {Tovchigrechko, Alexey A.}, title = {Efficient symbolic analysis of bounded petri nets using interval decision diagrams}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-10294}, language = {en} }