Login / Signup
Decidability of Safety Properties of Timed Multiset Rewriting.
Mitsuharu Yamamoto
Jean-Marie Cottin
Masami Hagiya
Published in:
FTRTFT (2002)
Keyphrases
</>
desirable properties
neural network
petri net
information systems
np complete
conjunctive queries