Please use this identifier to cite or link to this item:
https://repositorio.ufpe.br/handle/123456789/1909
Share on
| Title: | Model checking CSPZ: Techniques to overcome state explosion |
| Authors: | MOTA, Alexandre Cabral |
| Keywords: | CSPz; Algorithm implementations; Exponential explosion; Theorem |
| Issue Date: | 2001 |
| Publisher: | Universidade Federal de Pernambuco |
| Citation: | 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 |
| Appears in Collections: | Teses de Doutorado - Ciência da Computação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| arquivo4927_1.pdf | 1,43 MB | Adobe PDF |  View/Open |
This item is protected by original copyright |
This item is licensed under a Creative Commons License
