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.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

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)

This page has been automatically generated using the bib2html program.