The Temporal Logic of Reactive and Concurrent Systems

Publisher Website

1 January 1992

book
Published by Springer Nature

https://doi.org/10.1007/978-1-4612-0931-7

Abstract

No abstract available

Keywords

Cited by 1463 articles