Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
Verifying UML/OCL models using Boolean satisfiability
DATE, 2010.
@inproceedings{DATE-2010-SoekenWKGD,
author = "Mathias Soeken and Robert Wille and Mirco Kuhlmann and Martin Gogolla and Rolf Drechsler",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1341--1344",
publisher = "{IEEE}",
title = "{Verifying UML/OCL models using Boolean satisfiability}",
year = 2010,
}