An efficient algorithm for minimizing real-time transition systems. Formal Methods in System Design, 11(2):113–136 (1997)

by M Yannakakis, D Lee
Venue:Pitts 67 3.12 Concurrent Domain Theory with Nominal Sets Steffen Loesch (University of Cambridge, GB) License Creative Commons BY 3.0 Unported license © Steffen Loesch Joint work of Lösch