Cover Image
Read Now

1
by Bradfield, J.C.
Published 1992
Birkhäuser
Table of Contents: “... and infinite systems -- 1.4 Synopsis -- 2. Program Logics and the Mu-Calculus -- 2.1 Semantics of temporal...”