Model Checking of Unrestricted Hierarchical State Machines (2001)

View PDF

Download Links

by Michael Benedikt , Patrice Godefroid , Thomas Reps
Citations:47 - 6 self