Verification Criteria for a Compositional Model for Reactive Systems.

Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi

Browse the full ICECCS paper archive.