Operational Semantics For Timed Systems A Non Standard Approach To | Desertcart SINGAPORE
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems: 3456 (Lecture Notes in Computer Science, 3456)