Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufpe.br/handle/123456789/1909
Comparte esta pagina
| Título : | Model checking CSPZ: Techniques to overcome state explosion |
| Autor : | MOTA, Alexandre Cabral |
| Palabras clave : | CSPz; Algorithm implementations; Exponential explosion; Theorem |
| Fecha de publicación : | 2001 |
| Editorial : | Universidade Federal de Pernambuco |
| Citación : | 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. |
| Resumen : | 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 en las colecciones: | Teses de Doutorado - Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| arquivo4927_1.pdf | 1,43 MB | Adobe PDF |  Visualizar/Abrir |
Este ítem está protegido por copyright original |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
