Index Catalog // Hyrax

Remover filtros

Filtragem por: Advisor Fisler, Kathryn O Criador Haley, Alexander Gregory

Random finite-state automata for model checking

O Criador:

Haley, Alexander Gregory and Vaillancourt, Dale

Advisor:

Fisler, Kathryn and Selkow, Stanley M.

Editor:

Worcester Polytechnic Institute

Data Criada:

2002-01-01

Resource Type:

Major Qualifying Project