Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author/Editor | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Charatonik, Witold Amadio, Roberto | 2002 | On Name Generation and Set-Based Analysis in the Dolev-Yao Model In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | Proceedings Article | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|