Wendy Belluomini, Chris J. Myers. Efficient Timing Analysis Algorithms for Timed State Space Exploration. In 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 97), 7-10 April 1997, Eindhoven, The Netherlands. pages 88-100, IEEE Computer Society, 1997. [doi]
Abstract is missing.