Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/rex/HansenC91
AU - Hansen, Michael R.
AU - Chaochen, Zhou
TI - Semantics and Completeness of Duration Calculus.
BT - Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings
SP - 209
EP - 225
PY - 1991//
DO - 10.1007/BFB0031994
UR - https://doi.org/10.1007/BFb0031994
ER -