Use este identificador para citar ou linkar para este item:
https://repositorio.ufpe.br/handle/123456789/1909
Compartilhe esta página
| Título: | Model checking CSPZ: Techniques to overcome state explosion |
| Autor(es): | MOTA, Alexandre Cabral |
| Palavras-chave: | CSPz; Algorithm implementations; Exponential explosion; Theorem |
| Data do documento: | 2001 |
| Editor: | Universidade Federal de Pernambuco |
| Citação: | Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001. |
| Abstract: | Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001. |
| URI: | https://repositorio.ufpe.br/handle/123456789/1909 |
| Aparece nas coleções: | Teses de Doutorado - Ciência da Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| arquivo4927_1.pdf | 1,43 MB | Adobe PDF |  Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está licenciada sob uma Licença Creative Commons
