@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} }