Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures. : ICTAC training school on domain modelling and duration calculus : Sep 2007, Shanghai, China. (Lecture Notes in Computer Science ; 4710. Tutorial)
Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures. : ICTAC training school on domain modelling and duration calculus : Sep 2007, Shanghai, China.
(Lecture Notes in Computer Science ; 4710. Tutorial)