Zhou Chaochen, Anders P. Ravn, Michael R. Hansen. An Extended Duration Calculus for Hybrid Real-Time Systems. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel, editors, Hybrid Systems. Volume 736 of Lecture Notes in Computer Science, pages 36-59, Springer, 1992.
@inproceedings{ChaochenRH92,
title = {An Extended Duration Calculus for Hybrid Real-Time Systems},
author = {Zhou Chaochen and Anders P. Ravn and Michael R. Hansen},
year = {1992},
researchr = {https://researchr.org/publication/ChaochenRH92},
cites = {0},
citedby = {0},
pages = {36-59},
booktitle = {Hybrid Systems},
editor = {Robert L. Grossman and Anil Nerode and Anders P. Ravn and Hans Rischel},
volume = {736},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57318-6},
}