The Effect of Tossing Coins in Omega-Automata.

Christel Baier, Nathalie Bertrand, Marcus Grer

Browse the full CONCUR paper archive.