Task-structured probabilistic I/O automata
- Ran Canetti
- Ling Cheung
- et al.
- 2006
- WODES 2006
Publications
Date
Featured collections
Popular topics
2 results for Moses Liskov
Analyzing security protocols using time-bounded task-PIOAs
- Ran Canetti
- Ling Cheung
- et al.
- 2008
- Discrete Event Dynamic Systems: Theory and Applications