Undecidable Verification Problems for Programs with Unreliable Channels (1994)

Cached

Download Links

by Parosh Aziz Abdulla , Bengt Jonsson
Venue:Information and Computation
Citations:58 - 11 self