logo
BibTeX Entry


@inproceedings{Parosh:Bengt:Concur2001,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title		= {Channel Representations in Protocol Verification},
  booktitle	= {Proc. CONCUR 2001-12th Int. Conf. on Concurrency Theory},
  series	= {Lecture Notes in Computer Science},
  pages		= {1--15},
  volume	= {2154},
  year		= {2001},
  URL		= {http://opus.uu.se/publication.xml?id=25558}
}