Italiano (Italian) English (Inglese)
sabato, 5 ottobre 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Lavinia Egidi
Marinella Petrocchi
Titolo:Modelling a Secure Agent with Team Automata
Apparso su:Electr. Notes Theor. Comput. Sci. Vol. 142
Pagine:111-127
Anno:2006
Tipo Pubblicazione:Paper on International Journal
URL:http://www.dblp.org/db/...10.1016/j.entcs.2004.12.046
Sommario: