Skip to Content
Search
Search
Enter the terms you wish to search for.
Other ways to search:
Events Calendar
Campus Map
Close
Fabio Somenzi
College of Engineering and Applied Science
Fabio Somenzi
Menu
Main menu
Home
About
Research
Group
Contact
Mobile menu
Home
About
Research
Group
Contact
W. Lee
“Approximate Model Checking,” 1998.
Return to the top of the page