Loading...
Logics and models of concurrent systems
Main Author: | Krysztof R Apt |
---|---|
Format: | Printed Book |
Language: | English |
Published: |
Springer-Verlag
1985
|
Similar Items
-
Verification Of Sequential And Concurrent Programs
by: Apt, Krzysztof R
Published: (1991) -
The Temporal logic of reactive and concurrent systems
by: Manna, Zohar, et al.
Published: (1992) -
Verification of sequential and concurrent programs
by: Krzysztof r apt,Ernst -Rudiger olderog
Published: (1997) -
The temporal logic of reactive and concurrent systems/specification
by: zohar Manna,Amir Phueli
Published: (1992) -
Understanding concurrent systems /
by: Roscoe, A. W.
Published: (2010)