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

Tomohiro Yoneda Chris J. Myers

Published in: ATVA (2006)

Keyphrases

petri net
timed automata
high quality
neural network
database
data mining
machine learning
computer vision
information systems
high level
relational databases
finite state machines