Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.

Michael Katelman Sean Keller José Meseguer

Published in: WRLA (2010)

Keyphrases

digital circuits
data analysis