Um estudo sobre verificação formal de sistemas concorrentes

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Queiroz, João Paulo Carvalho Colu de
Publikationsdatum:	2012
Format:	Master thesis
Sprache:	por
Quelle:	Repositório Institucional da UnB
Download full:	http://repositorio.unb.br/handle/10482/11471
Zusammenfassung:	Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012.

Online