Publikation
Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler
In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-13), Saint-Malo, France, 2016.
@inproceedings{pub8635, author = { Przigoda, Nils and Hilken, Frank and Peters, Judith and Wille, Robert and Gogolla, Martin and Drechsler, Rolf }, title = {Integrating an SMT-based Model Finder into USE}, booktitle = {13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-13), Saint-Malo, France}, year = {2016} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023