Publications in Scientific Journals:

S. Gabmeyer, P. Kaufmann, M. Seidl, M. Gogolla, G. Kappel:
"A Feature-Based Classification of Formal Verification Techniques for Software Models";
Software and Systems Modeling, 18 (2019), 1; 473 - 498.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.