A fragment of linear temporal logic for universal very weak automata
From MaRDI portal
Publication:6109597
DOI10.1007/978-3-030-01090-4_20zbMath1517.68219OpenAlexW2894097570MaRDI QIDQ6109597
Rüdiger Ehlers, Keerthi Adabala
Publication date: 28 July 2023
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-01090-4_20
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: A fragment of linear temporal logic for universal very weak automata
