Analise e sintese de sistemas a eventos discretos via logica modal

Analise e sintese de sistemas a eventos discretos via logica modal

Orientador: Rafael Santos Mendes === Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação === Made available in DSpace on 2018-07-24T03:50:44Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_D.pdf: 6761411 bytes, checksum: ceea1c2dd3d35ba4d2e536d090e0...

Full description

Bibliographic Details
Main Author: Magossi, José Carlos, 1963-
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1998
Subjects:
Lógica matemática não-clássica
Redes de petri
Algoritmos
Online Access:MAGOSSI, José Carlos. Analise e sintese de sistemas a eventos discretos via logica modal. 1998. 131f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261070>. Acesso em: 24 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/261070

Internet

MAGOSSI, José Carlos. Analise e sintese de sistemas a eventos discretos via logica modal. 1998. 131f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261070>. Acesso em: 24 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/261070

Similar Items