On Locally Checkable Properties
From MaRDI portal
Publication:5387900
DOI10.1007/11916277_21zbMath1165.68408OpenAlexW1914433421MaRDI QIDQ5387900
Orna Kupferman, Moshe Y. Vardi, Yoad Lustig
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11916277_21
Related Items (5)
Symbolic bounded synthesis ⋮ Which security policies are enforceable by runtime monitors? A survey ⋮ Execution monitoring enforcement under memory-limitation constraints ⋮ Improved Algorithms for the Approximate k-List Problem in Euclidean Norm ⋮ The Quest for a Tight Translation of Büchi to co-Büchi Automata
This page was built for publication: On Locally Checkable Properties
