![]() |
BibTeX Entry |
@article{AbJo:lossy:IC, author = {Abdulla, Parosh Aziz and Jonsson, Bengt}, title = {Verifying Programs with Unreliable Channels}, journal = {Information and Computation}, volume = {127}, number = {2}, pages = {91--101}, year = {1996}, URL = {files/lics93_ic.ps} }