Ka Lok Man. Timed Chi: Modeling, Simulation and Verification of Hardware Systems. Computers and Artificial Intelligence, 29(6):901-928, 2010. [doi]
@article{Man10-0,
title = {Timed Chi: Modeling, Simulation and Verification of Hardware Systems},
author = {Ka Lok Man},
year = {2010},
url = {http://www.sav.sk/index.php?lang=en&charset=ascii&doc=journal&part=list_articles&journal_issue_no=11112392#abstract_6009},
tags = {modeling},
researchr = {https://researchr.org/publication/Man10-0},
cites = {0},
citedby = {0},
journal = {Computers and Artificial Intelligence},
volume = {29},
number = {6},
pages = {901-928},
}