Constraining cycle alternations in model checking for interval temporal logic

DOI10.1016/j.entcs.2016.03.015zbMath1345.68221OpenAlexW2337119313WikidataQ113317689 ScholiaQ113317689MaRDI QIDQ737106

Could not fetch data.

Publication date: 5 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.03.015

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.