@Article{WK07,
author={X. Wang and M. Kwiatkowska},
title={On process-algebraic verification of asynchronous circuits},
journal={Fundamenta Informaticae},
year={2007},

volume={80},
number={1-3},
pages={283-310},
publisher={},
month={},
note={},
key={}
}