NATO ASI PDC 1992: Marktoberdorf, Germany

Refinement

Models and Calculi of Computation

Reactive Timed Systems

maintained by Schloss Dagstuhl LZI at University of Trier