Linear Temporal Logic of Constraint Automata
From MaRDI portal
Publication:3628607
DOI10.1007/978-3-540-89985-3_146zbMath1188.68176OpenAlexW1674073885MaRDI QIDQ3628607
Sara Navidpour, Mohammad A. Izadi
Publication date: 20 May 2009
Published in: Communications in Computer and Information Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89985-3_146
Cites Work
This page was built for publication: Linear Temporal Logic of Constraint Automata