@inproceedings{c74e3f70715c42d3a11d6718db314033,
title = "{\^μ}CRL: A Computer Science based Approach for and Verification of Hardware Circuits",
abstract = "{\^μ}CRL is a process algebraic language for the formal and analysis of the behaviour of distributed systems. toolset of {\^μ}CRL is the result of software engineering research a very strong foundation in formal theories/methods, which the analysis and manipulation of {\^μ}CRL specifications. paper investigates a Computer Science based approach for and verification of hardware circuits using {\^μ}CRL its toolset. Two standard benchmark circuits are described {\^μ}CRL and analysed by the {\^μ}CRL toolset together with the tools CADP and SPIN, which are well-equipped with the {\^μ}CRL toolset.",
author = "Man, \{K. L.\}",
year = "2008",
doi = "10.1109/SOCDC.2008.4815653",
language = "English",
isbn = "9781424425990",
series = "2008 International SoC Design Conference, ISOCC 2008",
pages = "I387--I390",
booktitle = "2008 International SoC Design Conference, ISOCC 2008",
note = "2008 International SoC Design Conference, ISOCC 2008 ; Conference date: 24-11-2008 Through 25-11-2008",
}