Task-Structured Probabilistic I/O Automata

"May 28, 2009."

Bibliographic Details
Main Authors: Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto
Other Authors: Nancy Lynch
Published: 2013
Online Access:http://hdl.handle.net/1721.1/78359

Similar Items