Bisimulation minimisation mostly speeds up probabilistic model checking
Publication year
2007Publisher
Berlin : Springer
ISBN
9783540712084
In
Lecture Notes in Computer Science, (2007)Grumberg, Orna; Huth, Michael (ed.), 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, pp. 87-101Conference location
Braga
ISSN
Annotation
TACAS 2007
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Grumberg, Orna
Huth, Michael
Organization
Informatics for Technical Applications
Journal title
Lecture Notes in Computer Science
Book title
Grumberg, Orna; Huth, Michael (ed.), 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
Page start
p. 87
Page end
p. 101
Subject
Informatics for Technical ApplicationsThis item appears in the following Collection(s)
- Academic publications [238430]
- Electronic publications [122512]
- Faculty of Science [34989]
- Open Access publications [97507]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.