Automatic Temporal Verification of Buffer Systems.
A. Prasad SistlaLenore D. ZuckPublished in: CAV (1991)
Keyphrases
- spatial and temporal
- digital libraries
- expert systems
- data sets
- retrieval systems
- automated verification
- temporal consistency
- temporal analysis
- temporal relations
- formal methods
- temporal patterns
- temporal constraints
- temporal reasoning
- fully automatic
- building blocks
- computer systems
- intelligent systems
- spatio temporal
- video sequences
- data structure
- neural network