Albert Mo Kim Cheng. Analysis and Verification of Real-Time Systems. In ICEIS. 1999.
@inproceedings{Cheng99:8, title = {Analysis and Verification of Real-Time Systems}, author = {Albert Mo Kim Cheng}, year = {1999}, tags = {analysis}, researchr = {https://researchr.org/publication/Cheng99%3A8}, cites = {0}, citedby = {0}, booktitle = {ICEIS}, }