[Zurück]

@inproceedings{TUW-219076,
    author = {Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina},
    title = {A Classification of Model Checking-Based Verification Approaches for Software Models},
    booktitle = {Proceedings of the STAF Workshop on Verification of Model Transformations (VOLT 2013)},
    year = {2013},
    pages = {1--7},
    url = {http://publik.tuwien.ac.at/files/PubDat_219076.pdf},
    keywords = {model checking, model-based engineering},
    note = {Vortrag: 2nd Workshop on the Verification of Model Transformation (VOLT) @ STAF 2013, Budapest, Hungary; 2013-06-17}
}