Satoshi Yamane. Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems. In Vijay A. Saraswat, editor, Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Volume 2896 of Lecture Notes in Computer Science, pages 276-290, Springer, 2003. [doi]
Abstract is missing.