Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis
Keyword(s):
2014 ◽
Vol 13
(6)
◽
pp. 1074-1083
◽
Keyword(s):