@unpublished{ictcs20,
  title = "Time Series Checking with Fuzzy Interval Temporal Logics",
  author = "Willem Conradie and
            Della Monica, Dario and
	    Emilio Mu{\~n}oz-Velasco and
	    Guido Sciavicco and
            Ionel Eduard Stan",
  note = "21st Italian Conference on Theoretical
            Computer Science (ICTCS)",
  year = "2020"
}