Oxford logo
[WK06b] X. Wang and M. Kwiatkowska. On process-algebraic verification of asynchronous circuits. In Proc. 6th International Conference on Application of Concurrency to System Design (ACSD'06). 2006. [ps] [bib]
Downloads:  ps ps (425 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications