@inproceedings{BBM09,
title = { Compositional Timing Analysis },
author = {Ben Salah, Ramzi and Bozga, Marius and Maler, Oded},
year = {2009},
booktitle = {EMSOFT},
team = {TEMPO, DCS},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009460
|
|
|