logo
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}
}