Michael Köhler-Bußmeier.
Analysing SONAR model transformations.
In Rafael Accorsi, Tadao Murata, and Silvio Ranise, editors, Workshop on Petri Net-based Security (WOOPS 2012), volume 853, pages 55-70.
CEUR Workshop Proceedings, 2012.
urn:nbn:de:0074-853-4.
@inproceedings{Koehler12a, author = {K{\"o}hler-Bu{\ss}meier, Michael}, title = {Analysing {SONAR} Model Transformations}, year = 2012, editor = {Rafael Accorsi and Tadao Murata and Silvio Ranise}, booktitle = {Workshop on Petri Net-based Security (WOOPS 2012)}, publisher = {CEUR Workshop Proceedings}, volume = {853}, pages = {55-70}, note = {\textsf{urn:nbn:de:0074-853-4}} }