Compositional checking of satisfaction (0)

by Henrik Reif Andersen, Glynn Winskel
Venue:In Larsen and Skou [21