1 |
| D'Agostino, Marcello (ed.) |
| |
| | 2003 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
[Mukhopadhyay, Supratik]
[Talbot, Jean-Marc] | | | Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | Journal Article | |
| | 2001 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc] | | | The Complexity of Model Checking Mobile Ambients | Report | |
| | 2001 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc | [Honsell, Furio]
[Miculan, Marino] | | The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167 | Proceedings Article | |
1 |
| De Giacomo, Giuseppe (ed.) |
| |