AyacheCHRSG96'

BibTeX

@inproceedings{DBLP:conf/ftcs/AyacheCHRSG96,
  author    = {S. Ayache and
               Eric Conquet and
               Philippe Humbert and
               Carlos Rodriguez and
               Joseph Sifakis and
               R. Gerlich},
  title     = {Formal Methods for the Validation of Fault Tolerance in
               Autonomous Spacecraft},
  booktitle = {FTCS},
  year      = {1996},
  pages     = {353-357},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}