%0 Conference Paper %1 conf/tacas/CranenGKSVWW13 %A Cranen, Sjoerd %A Groote, Jan Friso %A Keiren, Jeroen J. A. %A Stappers, Frank P. M. %A de Vink, Erik P. %A Wesselink, Wieger %A Willemse, Tim A. C. %B TACAS %D 2013 %E Piterman, Nir %E Smolka, Scott A. %I Springer %K dblp %P 199-213 %T An Overview of the mCRL2 Toolset and Its Recent Advances. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#CranenGKSVWW13 %V 7795 %@ 978-3-642-36741-0

@inproceedings{conf/tacas/CranenGKSVWW13, added-at = {2017-09-16T00:00:00.000+0200}, author = {Cranen, Sjoerd and Groote, Jan Friso and Keiren, Jeroen J. A. and Stappers, Frank P. M. and de Vink, Erik P. and Wesselink, Wieger and Willemse, Tim A. C.}, biburl = {https://www.bibsonomy.org/bibtex/226730f9eb14f0002a947c8c4927f1a11/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2013}, editor = {Piterman, Nir and Smolka, Scott A.}, ee = {https://doi.org/10.1007/978-3-642-36742-7_15}, interhash = {f439b8a587e8bfef80e012c2c5b7ef5c}, intrahash = {26730f9eb14f0002a947c8c4927f1a11}, isbn = {978-3-642-36741-0}, keywords = {dblp}, pages = {199-213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:55.000+0200}, title = {An Overview of the mCRL2 Toolset and Its Recent Advances.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#CranenGKSVWW13}, volume = 7795, year = 2013 }