@inproceedings{Bro2001,
Author = {Brockmeyer, Udo and Klose, Jochen and Lettrari, Marc},
Title = {UML Validation Suite},

Year = {2001},
Month = {01},
Isbn = {1},
Booktitle = {Proceedings of FATES'01 - Formal Approaches to Testing of Software},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }