Pubblicazioni
| 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: |