Jump to : Contact | BibTex reference | EndNote reference |

burgueno97

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.

Contact

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

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs