Karsten Strehl. Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 488, IEEE Computer Society, 1999. [doi]
@inproceedings{Strehl99,
title = {Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification},
author = {Karsten Strehl},
year = {1999},
url = {http://csdl.computer.org/comp/proceedings/rtcsa/1999/0306/00/03060488abs.htm},
researchr = {https://researchr.org/publication/Strehl99},
cites = {0},
citedby = {0},
pages = {488},
booktitle = {6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-0306-3},
}