Sign in

Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.

Michael KatelmanSean KellerJosé Meseguer
Published in: WRLA (2010)
Keyphrases
  • digital circuits
  • data analysis