rusu97

V. Rusu. Verifying periodic task-control systems. In International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 63-69, Grenoble, France, 1997.

Contact

Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

BibTex Reference

@InProceedings{rusu97,
   Author = {Rusu, V.},
   Title = {Verifying periodic task-control systems},
   BookTitle = {International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS},
   Pages = {63--69},
   Address = {Grenoble, France},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)