Albert Mo Kim Cheng
Analysis and Verification of Real-Time Systems
ICEIS, 1999.
@inproceedings{ICEIS-1999-Cheng,
author = "Albert Mo Kim Cheng",
booktitle = "{Proceedings of the First International Conference on Enterprise Information Systems}",
pages = "X",
title = "{Analysis and Verification of Real-Time Systems}",
year = 1999,
}