Minimization of Timed Transition Systems (1992)

Cached

Download Links

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