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