TY -
GEN
AU - Katelman, Michael
AU - Keller, Sean
AU - Meseguer, José
TI -
Rewriting Logic and Its Applications: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2010
ER -