Zhou, Chaochen,  1937- <br/><br/>
Duration calculus :  a formal approach to real-time systems / 
Chaochen Zhou, Michael R. Hansen. 
 - x, 247 p. ;  25 cm. 
 - EATCS monographs on theoretical computer science .
<br/><br/>
<br/><br/><label>ISBN: </label>3540408231 (hardcover : acid-free paper) 
<br/><br/><label>LCCN: </label>2003066406 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Real-time data processing<br/>Mathematics--Data processing<br/>Formal methods (Computer science)
<br/><br/><label>LC Class. No.: </label>QA76.54  / .Z46 2004