Publications

Task-structured probabilistic I/O automata

• • Ran Canetti
  • Ling Cheung
  • et al.
• 2006
• WODES 2006