Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench
Hemangee K. Kapoor, Mark B. JosephsVolume:
89
Year:
2004
Language:
english
Pages:
4
DOI:
10.1016/j.ipl.2003.12.007
File:
PDF, 141 KB
english, 2004