%0 Thesis %1 phd/dnb/Richters02 %A Richters, Mark %D 2002 %I Logos-Verlag %K %P 1-210 %T A precise approach to validating UML models and OCL constraints. %@ 978-3-89722-842-9

@phdthesis{phd/dnb/Richters02, added-at = {2023-12-13T10:10:07.000+0100}, author = {Richters, Mark}, biburl = {https://www.bibsonomy.org/bibtex/29c52ac3bd323887db664c04e4010502b/admin}, ee = {http://d-nb.info/963496360}, interhash = {d57c2d879b71c6b243e5a0fc8a61dae7}, intrahash = {9c52ac3bd323887db664c04e4010502b}, isbn = {978-3-89722-842-9}, keywords = {}, pages = {1-210}, publisher = {Logos-Verlag}, school = {University of Bremen, Germany}, timestamp = {2023-12-13T10:10:07.000+0100}, title = {A precise approach to validating UML models and OCL constraints.}, year = 2002 }