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 Mon Sep 15 20:23:36 2025 CEST.