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 Sun Sep 14 06:14:21 2025 CEST.