On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels (1998)

Cached

Download Links

by Parosh Aziz Abdulla , Ahmed Bouajjani , Bengt Jonsson
Venue:In CAV'98. LNCS 1427
Citations:71 - 17 self

Document Versions

On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels –Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson — 1998 — In CAV'98. LNCS 1427
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels –Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson — 1998 — In CAV'98. LNCS 1427