Normal view
MARC view
Systèmes dynamiques hybrides (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA)637270: Rust, Heinrich. 26579, Operational semantics for timed systems :, ©2005.