Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Chris George Zhiming Liu Jim Woodcock Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures Domain Modeling and the Duration Calculus Lecture Notes in Computer Science 4710 Springer 2007 978-3-540-74963-9 db/conf/ac/duration2007.html