Safety for Branching Time Semantics.

Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodrguez, Joseph Sifakis

Browse the full ICALP paper archive.