%0 Book
%T Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
%A Cau, Antonio
%I Inst. für Informatik und Praktische Mathematik
%K Hochschulschrift
%K Temporale Logik
%K Reaktives System
%D 1996
%C Inst. für Informatik und Praktische Mathematik
%C Kiel
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation