@InProceedings{Baar02a,
  editor =       {Jean-Michel Bruel and Zohra Bellahs\`{e}ne},
  author =       {Thomas Baar},
  title =        {Executable and Symbolic Conformance Tests for Implementation Models},
  booktitle =    {Proceedings, Advances in Object-Oriented Information Systems,OOIS 2002 Workshops,  Montpellier, France},
  month =        sep,
  pages =        {231--234},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {2426},
  year =         {2002}
}