Temporal Logic of Programs

Publisher Website

1 January 1987

book
Published by Springer Nature

https://doi.org/10.1007/978-3-642-71549-5

Abstract

No abstract available

Keywords

Cited by 167 articles