Automata-Theoretic Characterisations of Branching-Time Temporal Logics.

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron

Browse the full ICALP paper archive.