DBLP Record 'conf/dsn/Johnson02'

BibTeX

@inproceedings{DBLP:conf/dsn/Johnson02,
  author    = {M. Edwin Johnson},
  title     = {Model Checking Safety Properties of Servo-Loop Control Systems},
  booktitle = {DSN},
  year      = {2002},
  pages     = {45-50},
  ee        = {http://computer.org/proceedings/dsn/1597/15970045abs.htm},
  crossref  = {DBLP:conf/dsn/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsn/2002,
  title     = {2002 International Conference on Dependable Systems and
               Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA,
               Proceedings},
  booktitle = {DSN},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1597-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}