NATO ASI PDC 1992: Marktoberdorf, Germany

Refinement

Models and Calculi of Computation

Reactive Timed Systems

maintained by Schloss Dagstuhl LZI, founded at University of Trier