Martin Gogolla, Jörn Bohling, Mark Richters. Validation of UML and OCL Models by Automatic Snapshot Generation. In Perdita Stevens, Jon Whittle, Grady Booch, editors, «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Volume 2863 of Lecture Notes in Computer Science, pages 265-279, Springer, 2003. [doi]
@inproceedings{GogollaBR03, title = {Validation of UML and OCL Models by Automatic Snapshot Generation}, author = {Martin Gogolla and Jörn Bohling and Mark Richters}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2863&spage=265}, tags = {OCL, UML}, researchr = {https://researchr.org/publication/GogollaBR03}, cites = {0}, citedby = {0}, pages = {265-279}, booktitle = {«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings}, editor = {Perdita Stevens and Jon Whittle and Grady Booch}, volume = {2863}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20243-9}, }