Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10455/6025| Título: | Reasoning about probabilistic sequential programs |
| Autor: | Luís Cruz-Filipe R. Chadha P. Mateus A. Sernadas |
| Palavras-chave: | Computer Science |
| Data: | 2007 2007 |
| Editora: | Theoretical Computer Science |
| URI: | http://hdl.handle.net/10451/14401 http://repositorio.ul.pt/handle/10455/6025 |
| Aparece nas colecções: | FC-DI-Lasige - Articles in International Journals |
Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.
