Safety for Branching Time Semantics (1991)

by Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodríguez, Joseph Sifakis
Venue:In Proceedings of 18th ICALP