Accès aux Contact | Référence BibTex | Référence EndNote |

delyon91b

B. Delyon, O. Maler. On Fault-Tolerant Symbolic Computations. In Formal Techniques in Real-Time and Fault-Tolerant Systems, 1991.

Contact

Oded Maler

Référence BibTex

@InProceedings{delyon91b,
   Author = {Delyon, B. and Maler, O.},
   Title = {On Fault-Tolerant Symbolic Computations},
   BookTitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
   Publisher = {LNCS 571, Springer},
   Year = {1991}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.