Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?

Bozzelli, Laura

•

Molinari, Alberto

•

Montanari, Angelo

altro

Sala, Pietro

2018

journal article

Periodico

THEORETICAL COMPUTER SCIENCE

DOI

10.1016/j.tcs.2018.04.011

WOS

WOS:000463124000009

Archivio

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

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

Diritti

open access

Scopus© citazioni

8

Data di acquisizione
Jun 7, 2022

Web of Science© citazioni

5

Data di acquisizione
Mar 19, 2024