DMCA

Verifying Programs with Unreliable Channels (1993)

Cached

Download Links

by Parosh Abdulla , Bengt Jonsson
Venue:Information and Computation
Citations:205 - 40 self