Model Checking Timeline-based Systems over Dense Temporal Domains

Bozzelli L.

•

Molinari A.

•

Montanari A.

•

Peron A.

2019

conference object

Archivio

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

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

http://ceur-ws.org/

Diritti

metadata only access

Soggetti

Visualizzazioni

2

Data di acquisizione
Apr 19, 2024