Domain Modeling and the Duration Calculus 2007: Shanghai, China

maintained by Schloss Dagstuhl LZI, founded at University of Trier