Catalog

Print Record Preview

Catalog Search






  1. 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

Additional Resources