Stochastic Games with Lossy Channels.
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
Browse the full FOSSACS paper archive.
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
Browse the full FOSSACS paper archive.