@InProceedings{kupferschmid-etal:tacas2007,
  author = 	 {Sebastian Kupferschmid and 
                  Klaus Dr{\"a}ger and 
                  J{\"o}rg Hoffmann and 
                  Bernd Finkbeiner and 
                  Henning Dierks and 
                  Andreas Podelski and 
                  Gerd Behrmann},
  title = 	 {{\sc Uppaal/DMC} -- {A}bstraction-based {H}euristics for {D}irected {M}odel {C}hecking},
  crossref =     {tacas2007},
  pages =	 {679--682}
  
}

@Proceedings{tacas2007,
  year = 	 2007,
  booktitle =    {Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  month = 	 mar,
  editor =	 {Orna Grumberg and Michael Huth},
  volume =	 4424,
  series =	 {Lecture Notes in Computer Science},
  address =	 {Berlin Heidelberg},
  publisher =	 {Springer-Verlag}
}