Theoretical Computer Science and General Issues
Advanced Research in Computing and Software Science
© 2010
Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Editors: Esparza, Javier, Majumdar, Rupak (Eds.)
Free Preview- Fast track conference proceedings
- State of the art papers
- Up to date research
Buy this book
- Table of contents (37 chapters)
-
-
Embedded Systems Design — Scientific Challenges and Work Directions
Pages 1-1
-
Antichain Algorithms for Finite Automata
Pages 2-22
-
Assume-Guarantee Verification for Probabilistic Systems
Pages 23-37
-
Simple O(m logn) Time Markov Chain Lumping
Pages 38-52
-
Model Checking Interactive Markov Chains
Pages 53-68
-
Table of contents (37 chapters)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Tools and Algorithms for the Construction and Analysis of Systems
- Book Subtitle
- 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
- Editors
-
- Javier Esparza
- Rupak Majumdar
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 6015
- Copyright
- 2010
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-12002-2
- DOI
- 10.1007/978-3-642-12002-2
- Softcover ISBN
- 978-3-642-12001-5
- Edition Number
- 1
- Number of Pages
- XVI, 468
- Number of Illustrations
- 102 b/w illustrations
- Topics
