On Correctness, Precision, and Performance in Quantitative Verification

Lecture notes in computer science, pp. 216–241

Authors 7

1. Carlos E. Budde

   University of Twente

   Affiliation as printed

   University of Twente, Enschede, The Netherlands

   Digital Society Institute

2. Arnd Hartmanns corresponding

   University of Twente

   Affiliation as printed

   University of Twente, Enschede, The Netherlands

   Digital Society Institute

3. Michaela Klauck

   Saarland University

   Affiliation as printed

   Saarland University, Saarland Informatics Campus, Saarbrücken, Germany

   Saarland University, Saarbrücken, Germany

4. Jan Křetínský

   Technical University of Munich

   Affiliation as printed

   Technical University of Munich, Munich, Germany

5. David Parker

   University of Birmingham

   Affiliation as printed

   University of Birmingham, Birmingham, UK

   University of Birmingham, Birmingham, United Kingdom

6. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

7. Andrea Turrini

   Chinese Academy of Sciences · Institute of Software · State Key Laboratory of Computer Science

   Affiliation as printed

   Institute of Intelligent Software, Guangzhou, Guangzhou, China

   State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China

   Chinese Academy of Sciences, Beijing, China