Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler. Verifying the structure and behavior in UML/OCL models using satisfiability solvers. IET Cyper-Phys. Syst.: Theory & Appl., 1(1):49-59, 2016. [doi]
@article{PrzigodaSWD16,
title = {Verifying the structure and behavior in UML/OCL models using satisfiability solvers},
author = {Nils Przigoda and Mathias Soeken and Robert Wille and Rolf Drechsler},
year = {2016},
doi = {10.1049/iet-cps.2016.0022},
url = {http://dx.doi.org/10.1049/iet-cps.2016.0022},
researchr = {https://researchr.org/publication/PrzigodaSWD16},
cites = {0},
citedby = {0},
journal = {IET Cyper-Phys. Syst.: Theory & Appl.},
volume = {1},
number = {1},
pages = {49-59},
}