Index Catalog // Digital WPI

Start Over

Filtering by: Creator Haley, Alexander Gregory Creator Vaillancourt, Dale

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