Login / Signup

Task-structured probabilistic I/O automata.

Ran CanettiLing CheungDilsun Kirli KaynarMoses D. LiskovNancy A. LynchOlivier PereiraRoberto Segala
Published in: J. Comput. Syst. Sci. (2018)
Keyphrases