[Back]


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)
http://dx.doi.org/10.1007/s10270-017-0591-z

Electronic version of the publication:
ttps://doi.org/10.1007/s10270-017-0591-z


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