A. Burgueno, V. Rusu. Task-system analysis using slope-parametric hybrid automata. In Proceedings of the European Conference on Parallelism (EuroPar'97) Volume 1300 of LNCS, Pages 1262-1273, Passau (Germany), 1997.
Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html
@InProceedings{burgueno97,
Author = {Burgueno, A. and Rusu, V.},
Title = {Task-system analysis using slope-parametric hybrid automata},
BookTitle = {Proceedings of the European Conference on Parallelism (EuroPar'97) Volume 1300 of LNCS},
Pages = {1262--1273},
Address = {Passau (Germany)},
Year = {1997}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |