Login / Signup

Decidability of Safety Properties of Timed Multiset Rewriting.

Mitsuharu YamamotoJean-Marie CottinMasami Hagiya
Published in: FTRTFT (2002)
Keyphrases
  • desirable properties
  • neural network
  • petri net
  • information systems
  • np complete
  • conjunctive queries