Sciweavers

Share
TACAS
2004
Springer

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

10 years 5 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where TACAS
Authors Kairong Qian, Albert Nymeyer
Comments (0)
books