@inproceedings{Fre06,
title = { On Timed Simulation Relations for Hybrid Systems and Compositionality },
author = {Frehse, Goran},
year = {2006},
booktitle = {FORMATS 2006},
pages = {200-214},
publisher = {Springer},
series = {LNCS},
volume = {4202},
team = {TEMPO},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6016042
|
|
|