[ Back to Record ]

  1. Bib ID# 255
    ISBN: 3540255761
    Title: Operational semantics for timed systems :a non-standard approach to uniform modeling of timed and hybrid systems /
    Author: Rust, Heinrich.
    Publication Info: Springer, c2005
    Item Type: Language material

[ Back to Record ]