Um estudo sobre verificação formal de sistemas concorrentes

Saved in:

Bibliographic Details
Main Author:	Queiroz, João Paulo Carvalho Colu de
Publication Date:	2012
Format:	Master thesis
Language:	por
Source:	Repositório Institucional da UnB
Download full:	http://repositorio.unb.br/handle/10482/11471
Summary:	Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012.

Internet