Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos. Documento

https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=88157

Visão geral
Pesquisas
Identidade
Ver todos

membro de

https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00

orientado por

Fernando Luís Dotti

tipo

master thesis

data de publicação

2013-01-01

prêmio patrocinado pela

Pontificia Universidade Católica do Rio Grande Do Sul Organização