Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

Bozzelli, Laura

•

Peron, Adriano

•

Sala, Pietro

altro

MONTANARI, Angelo

2016

conference object

DOI

10.4230/LIPIcs.FSTTCS.2016.26

Archivio

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

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

http://drops.dagstuhl.de/opus/volltexte/2016/6861/

Diritti

open access

Scopus© citazioni

9

Data di acquisizione
Jun 7, 2022

Visualizzazioni

2

Data di acquisizione
Apr 19, 2024