Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large...”
Cover Image
Read Now

5
by Baier, Christel
Published 2004
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

6
Published 2005
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

7
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Resource Allocation Systems -- Model Checking: Logics and Algorithms -- Exploring Very Large State Spaces...”
Cover Image
Read Now

8
Published 2017
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

9
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Verification of Randomized Distributed Algorithms -- Constructing Automata from Temporal Logic Formulas: A...”
Cover Image
Read Now

10
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

11
Published 2019
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

12
Published 2023
Springer International Publishing
Table of Contents: “... of Microarchitectural Timing Channels by Operating Systems -- Can we Communicate? Using Dynamic Logic to Verify Team...”
Cover Image
Read Now

13
Published 2021
Cambridge University Press
“... and mathematical logic, security (what is the probability that software leaks confidential information...”