A Framework for Pattern Matching on Symbolic Trajectories and Tuples of Time-dependent Values

Fabio Valdés. A Framework for Pattern Matching on Symbolic Trajectories and Tuples of Time-dependent Values. PhD thesis, University of Hagen, Germany, 2017. [doi]

Abstract

Abstract is missing.