Article thumbnail

Model checking meets performance evaluation

By Christel Baier, Boudewijn R. Haverkort, Holger Hermanns and Joost-Pieter Katoen
Publisher: Association for Computing Machinery (ACM)
Year: 2007
DOI identifier: 10.1145/1059816.1059819
OAI identifier:
Provided by: MUCC (Crossref)
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://web.informatik.uni-bonn... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.