On Fault-Tolerant Symbolic Computations. Delyon, B. & Maler, O. In Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pages 259-269, 1992.
On Fault-Tolerant Symbolic Computations [link]Paper  bibtex   
@inproceedings{ dblp4366704,
  title = {On Fault-Tolerant Symbolic Computations},
  author = {Bernard Delyon and Oded Maler},
  author_short = {Delyon, B. and Maler, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1992},
  key = {dblp4366704},
  id = {dblp4366704},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ftrtft/DeylonM92},
  url = {http://dx.doi.org/10.1007/3-540-55092-5_14},
  conference = {FTRTFT},
  pages = {259-269},
  text = {FTRTFT 1992:259-269},
  booktitle = {Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)}
}

Downloads: 0