BibTeX Entry

Back to list

@article{Parosh:Aurore:Ahmed:Bengt:speedup,
  author	= {Abdulla, Parosh Aziz and Annichini, Aurore and Bouajjani, Ahmed},
  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}
}