DBLP Record 'conf/tacas/DongDRRRSSSW99'

BibTeX

@inproceedings{DBLP:conf/tacas/DongDRRRSSSW99,
  author    = {Yifei Dong and
               Xiaoqun Du and
               Y. S. Ramakrishna and
               C. R. Ramakrishnan and
               I. V. Ramakrishnan and
               Scott A. Smolka and
               Oleg Sokolsky and
               Eugene W. Stark and
               David Scott Warren},
  title     = {Fighting Livelock in the i-Protocol: A Comparative Study
               of Verification Tools},
  booktitle = {TACAS},
  year      = {1999},
  pages     = {74-88},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1579/15790074.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}
}