@inproceedings{MB08,
title = { Approximating Continuous Systems by Timed Automata },
author = {Maler, Oded and Batt, Gr\'egory},
year = {2008},
booktitle = {FMSB},
pages = {77-89},
team = {TEMPO},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6014557
|
|
|