Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis.

Tomohiro Yoneda, Chris J. Myers

Browse the full ATVA paper archive.