On Freeze LTL with Ordered Attributes

From MaRDI portal
Publication:2811345

DOI10.1007/978-3-662-49630-5_16zbMath1475.68179arXiv1504.06355OpenAlexW825655794MaRDI QIDQ2811345

Daniel Thoma, Normann Decker

Publication date: 10 June 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.06355




Related Items (5)



Cites Work




This page was built for publication: On Freeze LTL with Ordered Attributes