Timed Automata with Updates
Fleury, Emmanuel
HAL, tel-00350492 / Harvested from HAL
Text on HAL
Les automates temporisés avec mises à jour.
Publié le : 2002-12-01
Classification:  automates temporisés,  timed automata,  [MATH]Mathematics [math] 
@article{tel-00350492,
     author = {Fleury, Emmanuel},
     title = {Timed Automata with Updates},
     journal = {HAL},
     volume = {2002},
     number = {0},
     year = {2002},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/tel-00350492}
}

Fleury, Emmanuel. Timed Automata with Updates. HAL, Tome 2002 (2002) no. 0, . http://gdmltest.u-ga.fr/item/tel-00350492/