Algorithms for the reduction of timed finite state graphs

G. H. Masapati, George M. White. Algorithms for the reduction of timed finite state graphs. Computer Communication Review, 17(5):198-216, 1987. [doi]

Abstract

Abstract is missing.