Joanne M. Atlee, John D. Gannon. Analyzing Timing Requirements. In ISSTA. pages 117-127, 1993. [doi]
@inproceedings{AtleeG93:0, title = {Analyzing Timing Requirements}, author = {Joanne M. Atlee and John D. Gannon}, year = {1993}, doi = {10.1145/154183.154264}, url = {http://doi.acm.org/10.1145/154183.154264}, researchr = {https://researchr.org/publication/AtleeG93%3A0}, cites = {0}, citedby = {0}, pages = {117-127}, booktitle = {ISSTA}, }