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

I.-H. Moon

“Efficient Reachability Algorithms in Symbolic Model Checking,” 2000.

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