Abdelillah Mokkedem, Dominique Méry. On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. Theoretical Computer Science, 140(1):95-138, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.