[Zurück]

@article{TUW-261899,
    author = {Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina and Gogolla, Martin and Kappel, Gerti},
    title = {A Feature-Based Classification of Formal Verification Techniques for Software Models},
    journal = {Journal of Software and Systems Modeling (online-edition)},
    year = {2017},
    volume = {TBD},
    number = {TDB},
    url = {ttps://doi.org/10.1007/s10270-017-0591-z},
    doi = {10.1007/s10270-017-0591-z}
}



Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.