Efficient reachability analysis of hierarchical reactive machines (0)

by R ALUR, R GROSU, M MCDOUGALL
Venue:In Proceedings of the 12th International Conference on Computer Aided Verification, LNCS 1855