Rance Cleaveland, Amy E. Zwarico
A Theory of Testing for Real-Time
LICS, 1991.
@inproceedings{LICS-1991-CleavelandZ, author = "Rance Cleaveland and Amy E. Zwarico", booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1991.151635", isbn = "0-8186-2230-X", pages = "110--119", publisher = "{IEEE Computer Society}", title = "{A Theory of Testing for Real-Time}", year = 1991, }