Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Fisler, Kathryn Advisor Selkow, Stanley M. Creator Haley, Alexander Gregory Resource type Major Qualifying Project

1. Random finite-state automata for model checking

Creator:: Haley, Alexander Gregory and Vaillancourt, Dale
Advisor:: Fisler, Kathryn and Selkow, Stanley M.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2002-01-01
Resource Type:: Major Qualifying Project