Verificação formal de sistemas discretos distribuídos (2009)
González Del Foyo, Pedro Manuel; Silva, José Reinaldo (Orientador) 
Subjects: REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GONZÁLEZ DEL FOYO, Pedro Manuel. Verificação formal de sistemas discretos distribuídos. 2009. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/. Acesso em: 27 nov. 2025.APA
González Del Foyo, P. M. (2009). Verificação formal de sistemas discretos distribuídos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/NLM
González Del Foyo PM. Verificação formal de sistemas discretos distribuídos [Internet]. 2009 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/Vancouver
González Del Foyo PM. Verificação formal de sistemas discretos distribuídos [Internet]. 2009 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/
