Task-Structured Probabilistic I/O Automata

2006 8th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2006.1678432 ◽

2006 ◽

Cited By ~ 13

Author(s):

Ran Canetti ◽

Ling Cheung ◽

K. Dilsun ◽

M. Liskov ◽

N. Lynch ◽

...

Download Full-text