Integrating an SMT-based Model Finder into USE

@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}
}