LiH00'

BibTeX

@inproceedings{DBLP:conf/dsn/LiH00,
  author    = {J. Jenny Li and
               Joseph Robert Horgan},
  title     = {A Tool Suite for Diagnosis and Testing of Software Design
               Specifications},
  booktitle = {DSN},
  year      = {2000},
  pages     = {295-304},
  ee        = {http://computer.org/proceedings/dsn/0707/07070295abs.htm},
  crossref  = {DBLP:conf/dsn/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsn/2000,
  title     = {2000 International Conference on Dependable Systems and
               Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28
               June 2000, New York, NY, USA},
  booktitle = {DSN},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0707-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}