Dominique Borrione, Menouer Boubekeur. Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 481-492, ECSI, 2003. [doi]
Abstract is missing.