Deciding Full Branching Time Logic by Program Transformation.

Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Browse the full LOPSTR paper archive.