Satoshi Yamane. Formal Timing Verification Techniques for Distributed System . In 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings. pages 454-460, IEEE Computer Society, 1995. [doi]
Abstract is missing.