On Verifying Fair Lossy Channel Systems.

Benot Masson, Philippe Schnoebelen

Browse the full MFCS paper archive.