@inproceedings{Heussner-PCM15a, author = {Alexander Heußner and Christopher M. Poskitt and Claudio Corrodi and Benjamin Morandi}, title = {Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model}, booktitle = {Proc. Graphs as Models (GaM 2015)}, publisher = {Electronic Proceedings in Theoretical Computer Science (EPTCS)}, volume = {181}, pages = {32-47}, year = {2015}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/Heussner-PCM.GaM.2015.pdf}, }