TY  - RPRT
TI  - On Specifications and Proofs of Timed Circuits
AU  - Matthias Fuegger
AU  - Christoph Lenzen
AU  - Ulrich Schmid
PY  - 2022
UR  - https://arxiv.org/abs/2208.08147
ID  - 2208.08147
ER  -