From Liveness to Promptness
From MaRDI portal
Publication:5429333
DOI10.1007/978-3-540-73368-3_44zbMath1135.03336MaRDI QIDQ5429333
Moshe Y. Vardi, Orna Kupferman, Nir Piterman
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_44
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic