Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}.

Beata Konikowska, Wojciech Penczek

Browse the full CONCUR paper archive.