Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
By: Antonio Cau
Published: 1996
Language: eng
Number of pages: 178
Notes: Thesis (doctoral)--Christian-Albrechts-Universität Kiel, 1996.