Towards a unifying CSP approach for hierarchical verification of asynchronous hardware. In Proceedings of 4th Workshop on Automated Verification of Critical Systems (AVoCS '04)

TY - CONF

T1 - Towards a unifying CSP approach for hierarchical verification of asynchronous hardware. In Proceedings of 4th Workshop on Automated Verification of Critical Systems (AVoCS '04)

AU - Wang, Xu

AU - Kwiatkowska, Marta

AU - Theodoropoulos, Georgios

AU - Zhang, Qian

PY - 2005/5/23

Y1 - 2005/5/23

UR - http://www.scopus.com/inward/record.url?scp=18744410065&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2005.04.014

DO - 10.1016/j.entcs.2005.04.014

M3 - Paper

SP - 231

EP - 246

ER -