UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES

Anacleto, Junia Coutinho

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

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