Browsing by Advisor Menasche, Miguel
Showing results 1 to 1 of 1
| Issue Date | Preview | Title | Author(s) | ???itemlist.dc.contributor.advisor1??? | Program | Document Type |
|---|---|---|---|---|---|---|
| 22-Dec-2003 |  | Modelagem e análise formal de algumas funcionalidades de um protocolo de transporte através das redes de Petri | Martins, Marcos Gilton Miranda | Menasche, Miguel | Mestrado em Engenharia de Telecomunicações | Dissertação |