Bisimulation minimisation mostly speeds up probabilistic model checking

Fulltext present in this item

Fulltext: 35083.pdf

Format: PDF

Description: publisher's version

Title:	Bisimulation minimisation mostly speeds up probabilistic model checking
Author(s):	Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David
Publication year:	2007
In:	Grumberg, Orna; Huth, Michael (ed.), Tools and algorithms for the construction and analysis of systems (TACAS), pp. 87-101
Publisher:	Berlin : Springer
ISBN:	9783540712084
DOI:	https://doi.org/10.1007/978-3-540-71209-1_9
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/35083
Display more details
Editor(s):	Grumberg, Orna; Huth, Michael
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications
Book title:	Grumberg, Orna; Huth, Michael (ed.), Tools and algorithms for the construction and analysis of systems (TACAS)
Page start:	p. 87
Page end:	p. 101

Faculty of Science [28790]
Open Access publications [55923]
Freely accessible full text publications
Electronic publications [86152]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [186209]
Academic output Radboud University