Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Ausiello, G., Crescenzi, P., Gambosi, G., Kann, V., Marchetti-Spaccamela, A., Protasi, M.: Complexity and Approximation. Springer, Heidelberg (1999)
2. Lecture Notes in Computer Science;G. Berhmann,2003
3. Lecture Notes in Computer Science;L. Brim,2001
4. Lecture Notes in Computer Science;S. Edelkamp,2001
5. Geldenhuys, J.: Efficiency Issues in the Design of a Model Checker. Master’s thesis, University of Stellenbosch (1999)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Model Checking with Incremental Counter-Example Construction;Computer Aided Verification;2017
2. Search-Order Independent State Caching;Transactions on Petri Nets and Other Models of Concurrency IV;2010
3. Hierarchical Adaptive State Space Caching Based on Level Sampling;Tools and Algorithms for the Construction and Analysis of Systems;2009
4. Fighting State Space Explosion: Review and Evaluation;Formal Methods for Industrial Critical Systems;2009
5. Properties of state spaces and their applications;International Journal on Software Tools for Technology Transfer;2008-06-06