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:72 - 17 self