Jump to : Contact | BibTex reference | EndNote reference |

Contact

Camille Constant
camille.constant@irisa.fr

Thierry Jéron
Thierry.Jeron@irisa.fr

Hervé Marchand
hmarchan@irisa.fr

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@InCollection{book-chap-react-systems,
   Author = {Constant, C. and Jéron, T. and Marchand, H. and Rusu, V.},
   Title = {Validation of Reactive Systems},
   BookTitle = {Modeling and Verification of Real-TIME Systems - Formalisms and software Tools},
   editor = { Merz, S. and Navet, N.},
   Chapter= {2},
   Pages = {51--76},
   Publisher = {Hermès Science},
   Month = {January},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)