Italiano (Italian) English (Inglese)
Wednesday, 30 October 2024

Publications

Back
Pubblication Details
Authors:Lavinia Egidi
Marinella Petrocchi
Title:Modelling a Secure Agent with Team Automata
Published on:Electr. Notes Theor. Comput. Sci. Vol. 142
Pages:111-127
Year:2006
Tipo Pubblicazione:Paper on International Journal
URL:http://www.dblp.org/db/...10.1016/j.entcs.2004.12.046
Abstract: