AbdullaAB99'

BibTeX

@inproceedings{DBLP:conf/tacas/AbdullaAB99,
  author    = {Parosh Aziz Abdulla and
               Aurore Annichini and
               Ahmed Bouajjani},
  title     = {Symbolic Verification of Lossy Channel Systems: Application
               to the Bounded Retransmission Protocol},
  booktitle = {TACAS},
  year      = {1999},
  pages     = {208-222},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1579/15790208.htm},
  crossref  = {DBLP:conf/tacas/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/1999,
  editor    = {Rance Cleaveland},
  title     = {Tools and Algorithms for Construction and Analysis of Systems,
               5th International Conference, TACAS '99, Held as Part of
               the European Joint Conferences on the Theory and Practice
               of Software, ETAPS'99, Amsterdam, The Netherlands, March
               22-28, 1999, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1579},
  year      = {1999},
  isbn      = {3-540-65703-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}