skip to main content

PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Simão, Adenilso Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17

Acesso online. A biblioteca também possui exemplares impressos.

Expandir ICMC - Inst. Ciên. Mat. Computação localizações ICMC - Inst. Ciên. Mat. Computação (PROD-1106990 ) Disponível na Biblioteca
Expandir ICMC - Inst. Ciên. Mat. Computação localizações ICMC - Inst. Ciên. Mat. Computação (T S588pn e.1 ) Disponível na Biblioteca

Buscando em bases de dados remotas. Favor aguardar.