Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / [author, Heinrich Rust].
Material type:
Item type | Current location | Call number | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Electronic Book | UT Tyler Online Online | QA76.54 .R87 2005 (Browse shelf) | http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b135629 | Available | ocn262680867 |
Includes bibliographical references (p. [215]-220) and index.
Description based on print version record.
There are no comments on this title.