@inproceedings{FM07,
title = { Reachability Analysis of a Switched Buffer Network },
author = {Frehse, Goran and Maler, Oded},
year = {2007},
booktitle = {HSCC},
pages = {698-701},
publisher = {Springer},
series = {LNCS},
volume = {4416},
team = {TEMPO},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6015484
|
|
|