Fast Directed Model Checking Via Russian Doll Abstraction.

Sebastian Kupferschmid, Jrg Hoffmann, Kim Guldstrand Larsen

Browse the full TACAS paper archive.