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 Sat Jul 12 10:53:14 2025 CEST.