Verifying Programs with Unreliable Channels (Extended Abstract) (1992)

Cached

Download Links

by Parosh Abdulla , Bengt Jonsson
Venue:Information and Computation
Citations:176 - 35 self