-
Bib ID# 20789
ISBN: 9783540320081
UPC: 10.1007/978-3-540-32008-1
Title: Operational Semantics for Timed SystemsA Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
Author: Rust, Heinrich.
Publication Info:
Item Type: Language material