%0 Journal Article %1 journals/topnoc/WestergaardFS13 %A Westergaard, Michael %A Fahland, Dirk %A Stahl, Christian %B Trans. Petri Nets and Other Models of Concurrency %D 2013 %E Koutny, Maciej %E van der Aalst, Wil M. P. %E Yakovlev, Alex %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 180-202 %T Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc8.html#WestergaardFS13 %V 8 %@ 978-3-642-40464-1

@article{journals/topnoc/WestergaardFS13, added-at = {2020-03-13T00:00:00.000+0100}, author = {Westergaard, Michael and Fahland, Dirk and Stahl, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2747ac0ca7885306c4427ac63d6ab4186/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2013-8}, editor = {Koutny, Maciej and van der Aalst, Wil M. P. and Yakovlev, Alex}, ee = {https://doi.org/10.1007/978-3-642-40465-8_10}, interhash = {01eff6c5054d6d7bf07c087fd9e88809}, intrahash = {747ac0ca7885306c4427ac63d6ab4186}, isbn = {978-3-642-40464-1}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {180-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:42.000+0100}, title = {Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc8.html#WestergaardFS13}, volume = 8, year = 2013 }