Situations in LTL as strings
From MaRDI portal
Publication:731890
DOI10.1016/j.ic.2008.11.003zbMath1187.68631OpenAlexW2069835791MaRDI QIDQ731890
Publication date: 9 October 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2008.11.003
Related Items
Cites Work
This page was built for publication: Situations in LTL as strings