Bisimulation minimisation mostly speeds up probabilistic model checking

Files in This Item:

File	Description	Size	Format
	publisher's version	574.46 kB	Adobe PDF	View/Open

Title:	Bisimulation minimisation mostly speeds up probabilistic model checking
Author(s):	Katoen, Joost-Pieter Kemna, Tim Zapreev, Ivan Jansen, D.N. (215676866) Grumberg, Orna Huth, Michael
Publication year:	2007
Document type:	Article in monograph or in proceedings
Book title:	Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
ISBN:	9783540712084 3540712089
Start page:	p. 87
End page:	p. 101
Series:	Lecture notes in computer science ; 4424
Publisher:	Berlin ; New York : Springer
Related link(s):	http://dx.doi.org/10.1007/978%2D3%2D540%2D71209%2D1_9
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/35083