The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (2020)

First Author: Corto Mascle
Attributed to:  quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://dblp.org/rec/conf/csl/Mascle020.bib

Type: Conference/Paper/Proceeding/Abstract

Volume: 152