Skip to Content

Search

Search

Enter the terms you wish to search for.

Other ways to search:

Events Calendar
Campus Map

College of Engineering and Applied Science

Fabio Somenzi

Main menu

Home
About
Research
Group
Contact

Mobile menu

Home
About
Research
Group
Contact

R. P. Bloem

“Search Techniques and Automata for Symbolic Model Checking,” 2001.

Fabio Somenzi

Office: Engineering Center, ECOT 348
Phone: (303) 492-3466
Fax: (303) 492-2758
E-mail: fabio@colorado.edu

University of Colorado Boulder
© Regents of the University of Colorado
Privacy • Legal & Trademarks • Campus Map

Return to the top of the page