Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen. a formal approach to real-time systems /

Saved in:
Bibliographic Details
Main Author: Zhou, Chaochen, 1937-
Other Authors: Hansen, Michael R.
Format: Book
Language:English
Published: Berlin ; London : Springer, c2003.
Series:Monographs in theoretical computer science
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 005.273/ZHO
Copy [0402920384] Available