Verificação e sintese de sistemas hibridos
Orientador: Arnaldo Vieira Moura === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-07-26T17:52:58Z (GMT). No. of bitstreams: 1 Bonifacio_AdilsonLuiz_M.pdf: 21453626 bytes, checksum: de7be74dafd77bc551c7395989d64b6f (MD5) Pr...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
[s.n.]
2000
|
| Subjects: | |
| Online Access: | BONIFÁCIO, Adilson Luiz. Verificação e sintese de sistemas hibridos. 2000. 137p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275910>. Acesso em: 26 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275910 |