Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen. a formal approach to real-time systems /
Berlin ; London :
|Series:||Monographs in theoretical computer science
No Tags, Be the first to tag this record!