Safety for Branching Time Semantics (1991)

by A Bouajjani, J-C Fernandez, S Graf, C Rodriguez, J Sifakis
Venue:in: 18th ICALP