Model Checking of Unrestricted Hierarchical State Machines (2001)

Cached

Download Links

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