Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems.
Giorgio BacciMarino MiculanRomeo RizziPublished in: TGC (2014)
Keyphrases
- reactive systems
- tree matching
- matching algorithm
- temporal logic
- pattern matching
- model checking
- tree structure
- index structure
- database systems
- database
- information systems
- image matching
- formal methods
- machine learning
- training data
- natural language
- case study
- petri net
- web services
- knowledge base
- social networks
- information flow
- data mining