@InProceedings{kupferschmid-etal:cav2008,
  author =	 {Sebastian Kupferschmid and Martin Wehrle and
                  Bernhard Nebel and Andreas Podelski},
  title =	 {Faster Than Uppaal ?},
  crossref =	 {cav2008},
  pages =	 {552--555}
}

@Proceedings{cav2008,
  title =	 {Proceedings of the 20th International Conference on
                  Computer Aided Verification (CAV 2008)},
  booktitle =	 {Proceedings of the 20th International Conference on
                  Computer Aided Verification (CAV 2008)},
  year =	 2008,
  editor =	 {Aarti Gupta and Sharad Malik},
  volume =	 5123,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}