Efficient reachability analysis of hierarchical reactive machines (2000)

Cached

Download Links

by R. Alur , R. Grosu , M. Mcdougall
Venue:INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION
Citations:22 - 5 self