Quantified CTL: Expressiveness and Model Checking - (Extended Abstract).

Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey

Browse the full CONCUR paper archive.