Models of Time and of System Behaviors

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_3 ◽

2005 ◽

pp. 15-22

Author(s):

Heinrich Rust

Download Full-text