Verifying absence of ∞ loops in parameterized protocols
- Författare
- Mayank Saksena
- (Mayank Saksena.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Acta Universitatis Upsaliensis | 2008 | Sverige, Uppsala | 80 sidor. | 978-91-554-7148-4 |
| Acta Universitatis Upsaliensis | 2008 | Sverige, Uppsala | 80 |