User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Task-Structured Probabilistic I/O Automata

  • Open access
  • PDF
  • 137.96 K
Bibliographic reference Canetti, Ran ; Cheung, Ling ; Kaynar, Dilsun ; Liskov, Moses ; Lynch, Nancy ; et. al. Task-Structured Probabilistic I/O Automata.WODES'06 (Ann Arbor, Michigan, du 10/07/2006 au 12/07/2006). In: Discrete Event Systems, 2006 8th International Workshop on, 2006
Permanent URL http://hdl.handle.net/2078.1/92364