Safety for branching time semantics (0)

by A Bouajjani, J C Fernandez, S Graf, C Rodriguez, J Sifakis
Venue:In Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP’91