Minimization of Timed Transition Systems (1992)

Cached

Download Links

by Rajeev Alur , Costas Courcoubetis , N. Halbwachs , D. Dill , H. Wong-toi
Citations:94 - 6 self