Research Catalog

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems

Title
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / Heinrich Rust.
Author
Rust, Heinrich.
Publication
Berlin ; New York : Springer, [2005], ©2005.

Items in the Library & Off-site

Filter by

2 Items

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.54 .R87 2005gOff-site
Not available - Please for assistance.
TextUse in library Off-site

Holdings

Details

Description
xii, 223 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 3456
Uniform Title
Lecture notes in computer science ; 3456.
Subjects
Bibliography (note)
  • Includes bibliographical references (p. [215]-220) and index.
ISBN
3540255761
LCCN
  • 2005923604
  • 9783540255765
OCLC
  • ocm59557649
  • SCSB-5173699
Owning Institutions
Columbia University Libraries