Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações (2000)
Santos, Marcus Vinícius Tolentino dos; Rillo, Márcio (Orientador); Silva, Flávio Soares Corrêa da (Orientador) 
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Marcus Vinícius Tolentino dos. Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3142/tde-08012025-095329/pt-br.php. Acesso em: 13 nov. 2025.APA
Santos, M. V. T. dos. (2000). Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3142/tde-08012025-095329/pt-br.phpNLM
Santos MVT dos. Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações [Internet]. 2000 ;[citado 2025 nov. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3142/tde-08012025-095329/pt-br.phpVancouver
Santos MVT dos. Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações [Internet]. 2000 ;[citado 2025 nov. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3142/tde-08012025-095329/pt-br.php
