F. Laroussinie, S. Pinchinat, P. Schnoebelen. Translation Results for Modal Logics of Reactive Systems. Theoretical Computer Science, 40(1), March 1995.
@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}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.