Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille. Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. In Andreas Oberweis, Ralf H. Reussner, editors, Modellierung 2016, 2.-4. März 2016, Karlsruhe. Volume 254 of LNI, pages 117-124, GI, 2016.
@inproceedings{HilkenNGW16,
title = {Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models},
author = {Frank Hilken and Philipp Niemann and Martin Gogolla and Robert Wille},
year = {2016},
researchr = {https://researchr.org/publication/HilkenNGW16},
cites = {0},
citedby = {0},
pages = {117-124},
booktitle = {Modellierung 2016, 2.-4. März 2016, Karlsruhe},
editor = {Andreas Oberweis and Ralf H. Reussner},
volume = {254},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-648-0},
}