%0 Conference Paper %1 conf/date/SeiterWSD13 %A Seiter, Julia %A Wille, Robert %A Soeken, Mathias %A Drechsler, Rolf %B DATE %D 2013 %E Macii, Enrico %I EDA Consortium San Jose, CA, USA / ACM DL %K %P 1189-1192 %T Determining relevant model elements for the verification of UML/OCL specifications. %U http://dblp.uni-trier.de/db/conf/date/date2013.html#SeiterWSD13 %@ 978-1-4503-2153-2

@inproceedings{conf/date/SeiterWSD13, added-at = {2023-12-13T02:20:14.000+0100}, author = {Seiter, Julia and Wille, Robert and Soeken, Mathias and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2119270eaa14d89bfb7830dc756369073/admin}, booktitle = {DATE}, crossref = {conf/date/2013}, editor = {Macii, Enrico}, ee = {https://www.wikidata.org/entity/Q62513123}, interhash = {7de7b7631c3d666dc4a2ca87d0a82220}, intrahash = {119270eaa14d89bfb7830dc756369073}, isbn = {978-1-4503-2153-2}, keywords = {}, pages = {1189-1192}, publisher = {EDA Consortium San Jose, CA, USA / ACM DL}, timestamp = {2023-12-13T02:20:14.000+0100}, title = {Determining relevant model elements for the verification of UML/OCL specifications.}, url = {http://dblp.uni-trier.de/db/conf/date/date2013.html#SeiterWSD13}, year = 2013 }