Browsing CS Technical Reports by Author "Benedikt, Michael"

Now showing items 1-1 of 1

Model Checking of Unrestricted Hierarchical State Machines (Extended Abstract),

Benedikt, Michael; Godefroid, Patrice; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2001)