Verification of Probabilistic Systems with Faulty Communication.

Parosh Aziz Abdulla, Alexander Moshe Rabinovich

Browse the full FOSSACS paper archive.