Farn Wang. Formal verification of timed systems: a survey and perspective. Proceedings of the IEEE, 92(8):1283-1305, 2004. [doi]
@article{Wang04-26, title = {Formal verification of timed systems: a survey and perspective}, author = {Farn Wang}, year = {2004}, doi = {10.1109/JPROC.2004.831197}, url = {https://doi.org/10.1109/JPROC.2004.831197}, researchr = {https://researchr.org/publication/Wang04-26}, cites = {0}, citedby = {0}, journal = {Proceedings of the IEEE}, volume = {92}, number = {8}, pages = {1283-1305}, }