On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems (1993)

Cached

Download Links

by Abdelillah Mokkedem , Dominique Méry
Venue:Theoretical Computer Science
Citations:6 - 1 self