Fen Jin, Henrik Hulgaard, Eduard Cerny. Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints. In Ganesh Gopalakrishnan, Phillip J. Windley, editors, Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Volume 1522 of Lecture Notes in Computer Science, pages 167-184, Springer, 1998. [doi]
@inproceedings{JinHC98,
title = {Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints},
author = {Fen Jin and Henrik Hulgaard and Eduard Cerny},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1522/15220167.htm},
tags = {constraints},
researchr = {https://researchr.org/publication/JinHC98},
cites = {0},
citedby = {0},
pages = {167-184},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
editor = {Ganesh Gopalakrishnan and Phillip J. Windley},
volume = {1522},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65191-8},
}