Automatic Model Checking of UML models

TitleAutomatic Model Checking of UML models
Publication TypeMaster's Thesis
2008
AuthorsLarrzabal, C
http://www.iam.unibe.ch/ltgpub/2008/lar08.pdf