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

laroussinie95

F. Laroussinie, S. Pinchinat, P. Schnoebelen. Translation Results for Modal Logics of Reactive Systems. Theoretical Computer Science, 40(1), Mars 1995.

Contact

Sophie Pinchinat

Référence BibTex

@article{laroussinie95,
   Author = {Laroussinie, F. and Pinchinat, S. and Schnoebelen, P.},
   Title = {Translation Results for Modal Logics of Reactive Systems},
   Journal = {Theoretical Computer Science},
   Volume = {40},
   Number = {1},
   Month = {March},
   Year = {1995}
}

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.