BibTeX Entry

Back to list

@article{brp:journal,
  author	= {Abdulla, Parosh Aziz and Collomb-Annichini, Aurore and Bouajjani, Ahmed and Jonsson, Bengt},
  title		= {Using Forward Reachability Analysis for Verification of Lossy Channel Systems},
  journal	= {Formal Methods in System Design},
  volume	= {25},
  number	= {1},
  year		= {2004},
  pages		= {39--65},
  URL		= {files/sre.ps}
}