O Roux, V. Rusu, F. Cassez, Hybrid verifications of reactive programs, Formal Aspects of Computing, 11(4):448-471, 1999.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@article{rrc99,
   Author = {Roux, O and Rusu, V. and Cassez, F.},
   Title = {Hybrid verifications of reactive programs},
   Journal = {Formal Aspects of Computing},
   Volume = {11},
   Number = {4},
   Pages = {448--471},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.