Antonio Cau. Compositional verification and specification of refinement for reactive systems in a dense time temporal logic. PhD thesis, University of Kiel, Germany, 1996. [doi]
No references recorded for this publication.
No citations of this publication recorded.