@InProceedings{WKTZ06,
author={X. Wang and M. Kwiatkowska and G. Theodoropoulos and Q. Zhang},
title={Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs},
booktitle={Proc. 2nd Workshop on Globally Asynchronous, Locally Synchronous Design (FMGALS'05)},
year={2006},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}