Evaluation of temporal datasets via interval temporal logic model checking
- Monica, D.D.
- De Frutos-Escrig, D.
- Montanari, A.
- Murano, A.
- Sciavicco, G.
ISSN: 1868-8969
ISBN: 9783959770521
Argitalpen urtea: 2017
Alea: 90
Mota: Biltzar ekarpena
ISSN: 1868-8969
ISBN: 9783959770521
Argitalpen urtea: 2017
Alea: 90
Mota: Biltzar ekarpena