Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author/Editor | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Charatonik, Witold Dal Zilio, Silvano Gordon, Andrew Donald Mukhopadhyay, Supratik Talbot, Jean-Marc | 2003 | Model checking mobile ambients In: Theoretical Computer Science [308], 277-331 | Journal Article | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|