An efficient algorithm for minimizing real-time transition systems (1997)

by M Yannakakis, D Lee
Venue:Formal Methods in System Design