Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Fisler, Kathryn Advisor Selkow, Stanley M. Collections Major Qualifying Projects

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