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

View PDF

Download Links

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