You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
|
---|---|
Chapter number | 44 |
Book title |
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
|
Published by |
Springer, Berlin, Heidelberg, December 2007
|
DOI | 10.1007/978-3-540-77050-3_44 |
Book ISBNs |
978-3-54-077049-7, 978-3-54-077050-3
|
Authors |
Matthias Schmalz, Hagen Völzer, Daniele Varacca, Schmalz, Matthias, Völzer, Hagen, Varacca, Daniele |