BibTeX Entry

Back to list

@article{AbJo:lossy:undecidable:journal,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title		= {Undecidable Verification Problems for Programs with Unreliable Channels},
  journal	= {Information and Computation},
  volume	= {130},
  number	= {1},
  year		= {1996},
  pages		= {71--90},
  URL		= {files/icalp94_ic.ps}
}