The Existence of Finite Abstractions for Branching Time Model Checking.

Dennis Dams, Kedar S. Namjoshi

Browse the full LICS paper archive.