Towards an Efficient Tree Automata based technique for Timed Systems.

S. Akshay Paul Gastin Shankara Narayanan Krishna Ilias Sarkar

Published in: CoRR (2017)

Keyphrases

complex systems
petri net
artificial intelligence
digital libraries
building blocks
database
databases
multimedia
website
web services
image sequences
hidden markov models
distributed systems
computing systems