@inproceedings{Mal10d,
title = { Amir Pnueli and the dawn of hybrid systems },
author = {Maler, Oded},
year = {2010},
booktitle = {Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010},
pages = {293-295},
publisher = {ACM ACM},
team = {TEMPO},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32371756
|
|
|