Zeitschriftenartikel:
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;
S. 473
- 498.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10270-017-0591-z
Elektronische Version der Publikation:
ttps://doi.org/10.1007/s10270-017-0591-z
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.