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.
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
{"_id":"xtvJTqm7g5pnsTQPp","bibbaseid":"delyon-maler-onfaulttolerantsymboliccomputations-1992","downloads":0,"creationDate":"2015-07-05T11:05:40.328Z","title":"On Fault-Tolerant Symbolic Computations","author_short":["Delyon, B.","Maler, O."],"year":1992,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ftrtft/DeylonM92","bibdata":{"title":"On Fault-Tolerant Symbolic Computations","author":["Bernard Delyon","Oded Maler"],"author_short":["Delyon, B.","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)","bibtex":"@inproceedings{ dblp4366704,\n title = {On Fault-Tolerant Symbolic Computations},\n author = {Bernard Delyon and Oded Maler},\n author_short = {Delyon, B. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1992},\n key = {dblp4366704},\n id = {dblp4366704},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ftrtft/DeylonM92},\n url = {http://dx.doi.org/10.1007/3-540-55092-5_14},\n conference = {FTRTFT},\n pages = {259-269},\n text = {FTRTFT 1992:259-269},\n booktitle = {Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)}\n}","bibbaseid":"delyon-maler-onfaulttolerantsymboliccomputations-1992","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-55092-5_14"},"downloads":0},"search_terms":["fault","tolerant","symbolic","computations","delyon","maler"],"keywords":[],"authorIDs":[],"dataSources":["eqGfGuBn2PfeLA3aA"]}