Branching Temporal Logic of Calls and Returns for Pushdown Systems.

Huu-Vu Nguyen, Tayssir Touili

Browse the full IFM paper archive.