EURO-DAC '92 Proceedings of the conference on European design automation
Progress on the State Explosion Problem in Model Checking
Informatics - 10 Years Back. 10 Years Ahead.
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Hi-index | 0.00 |