DMCA

Symbolic Exploration of Transition Hierarchies (1998)

by Rajeev Alur , Thomas A. Henzinger , Sriram K. Rajamani
Venue:In TACAS 98: Tools and Algorithms for Construction and Analysis of Systems, LNCS 1384
Citations:13 - 5 self