![]() |
BibTeX Entry |
@inproceedings{AbJo:lossy, author = {Abdulla, Parosh Aziz and Jonsson, Bengt}, title = {Verifying Programs with Unreliable Channels}, booktitle = {Proc. LICS '93-8th IEEE Int. Symp. on Logic in Computer Science}, pages = {160--170}, year = {1993}, URL = {files/lics93.ps} }