The COMICS tool – Computing minimal counterexamples for DTMCs

Document

Metadata

Author(s)

Jansen, N. | Ábrahám, E. | Volk, M. | Wimmer, R. | Katoen, J.-P. | Becker, B.

DOI

10.1007/978-3-642-33386-6_27

Title

The COMICS tool - Computing minimal counterexamples for DTMCs

Item Type

conferencePaper

"Key

6GL8B6AF

Publication Year

2012

Publication Title

Lect. Notes Comput. Sci.

ISBN

16113349 (ISSN); 978-364233385-9 (ISBN)

Url

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84868251256&doi=10.1007%2f978-3-642-33386-6_27&partnerID=40&md5=9d1050e5ada37ac2c4360bf8d132ff79

Date

2012

Pages

349-353

Volume

7561 LNCS

Language

English

Conference Name

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Attachments