Um estudo sobre verificação formal de sistemas concorrentes
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| 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. |
Schreiben Sie den ersten Kommentar!