Bibtex de la publication

@Article{ ObGrOb2006.1,
author = {Ober, Iulian and Graf, Susanne and Ober, Ileana},
title = "{Validating timed UML models by simulation and verification}",
journal = {International Journal on Software Tools for Technology Transfer},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2006},
volume = {8},
number = {2},
pages = {128--145},
language = {anglais}
}