Publicação
Reasoning about probabilistic sequential programs
| Autores principais: | Luís Cruz-Filipe |
|---|---|
| Outros Autores: | R. Chadha; P. Mateus; A. Sernadas |
| Assunto: | Computer Science |
| Ano: | 2007 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso a metadados |
| Instituição associada: | Universidade de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório da Universidade de Lisboa |
| Descrição não disponível. |