Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ictcs/ConradieMMSS20
AU - Conradie, Willem
AU - Monica, Dario Della
AU - Muñoz-Velasco, Emilio
AU - Sciavicco, Guido
AU - Stan, Ionel Eduard
TI - Time Series Checking with Fuzzy Interval Temporal Logics.
BT - Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020.
SP - 250
EP - 262
PY - 2020//
UR - https://ceur-ws.org/Vol-2756/paper_29.pdf
ER -