Dagstuhl Seminar Proceedings: Design of Systems with Predictable Behaviour 2004

maintained by Schloss Dagstuhl LZI at University of Trier