Complexity analysis of a unifying algorithm for model checking interval temporal logic

Bozzelli L.

•

Montanari A.

•

Peron A.

2019

conference object

DOI

10.4230/LIPIcs.TIME.2019.18

Archivio

http://hdl.handle.net/11390/1168788

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85073574891

http://drops.dagstuhl.de/opus/institut_lipics.php?fakultaet=04

Diritti

metadata only access

Soggetti

Scopus© citazioni

2

Data di acquisizione
Jun 2, 2022