Number of items: 1.
Conference or Workshop Item (A Paper)
Kupferschmid, Sebastian and Hoffmann, Jörg and Larsen, Kim Guldstrand
(2008)
Fast Directed Model Checking Via Russian Doll Abstraction.
This list was generated on Wed May 15 20:59:41 2024 CEST.