%0 Journal Article %1 journals/topnoc/WestergaardK12 %A Westergaard, Michael %A Kristensen, Lars Michael %B Trans. Petri Nets and Other Models of Concurrency %D 2012 %E Jensen, Kurt %E Donatelli, Susanna %E Kleijn, Jetty %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 265-291 %T A Graphical Approach to Component-Based and Extensible Model Checking Platforms. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc5.html#WestergaardK12 %V 5 %@ 978-3-642-29071-8

@article{journals/topnoc/WestergaardK12, added-at = {2020-03-13T00:00:00.000+0100}, author = {Westergaard, Michael and Kristensen, Lars Michael}, biburl = {https://www.bibsonomy.org/bibtex/26387f965b385e1917a580e9b91b5e631/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2012-5}, editor = {Jensen, Kurt and Donatelli, Susanna and Kleijn, Jetty}, ee = {https://doi.org/10.1007/978-3-642-29072-5_12}, interhash = {59618feba469377eab70b34d7a673c79}, intrahash = {6387f965b385e1917a580e9b91b5e631}, isbn = {978-3-642-29071-8}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {265-291}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:34.000+0100}, title = {A Graphical Approach to Component-Based and Extensible Model Checking Platforms.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc5.html#WestergaardK12}, volume = 5, year = 2012 }