DMCA

Stochastic parity games on lossy channel systems (2013)

by Parosh Aziz Abdulla , Lorenzo Clemente , Richard Mayr , Sven S
Venue:In Proc. of QEST’13, LNCS
Citations:1 - 0 self