Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler. Determining relevant model elements for the verification of UML/OCL specifications. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 1189-1192, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]
@inproceedings{SeiterWSD13,
title = {Determining relevant model elements for the verification of UML/OCL specifications},
author = {Julia Seiter and Robert Wille and Mathias Soeken and Rolf Drechsler},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485574},
researchr = {https://researchr.org/publication/SeiterWSD13},
cites = {0},
citedby = {0},
pages = {1189-1192},
booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013},
editor = {Enrico Macii},
publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
isbn = {978-1-4503-2153-2},
}