On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels.

Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson

Browse the full CAV paper archive.