Normal view
MARC view
Temps réel (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Rust, Heinrich. 26579, Operational semantics for timed systems :, ©2005.