Duration Calculus: A Real-Time Semantic for B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Samuel Colin, Georges Mariano, Vincent Poirriez. Duration Calculus: A Real-Time Semantic for B. In Zhiming Liu, Keijiro Araki, editors, Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Volume 3407 of Lecture Notes in Computer Science, pages 431-446, Springer, 2004. [doi]

This author has not been identified. Look up 'Samuel Colin' in GoogleThis author has not been identified. Look up 'Georges Mariano' in GoogleThis author has not been identified. Look up 'Vincent Poirriez' in Google

runs on WebDSL