Cover Image
Read Now

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

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

3
Published 2015
Springer International Publishing
Table of Contents: “... -- Automatic Verification for Later-Correspondence of Security Protocols -- Combining Separation Logic...”
Cover Image
Read Now

4
Published 2014
Springer International Publishing
Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
Cover Image
Read Now

5
by Liu, Shaoying
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...1 Introduction -- 2 Propositional Logic -- 3 Predicate Logic -- 4 The Module -- 5 Hierarchical...”
Cover Image
Read Now

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

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

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

9
Published 2017
Springer International Publishing
Table of Contents: “... and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical...”
Cover Image
Read Now

10
Published 2023
Springer International Publishing
Table of Contents: “... Temporal Epistemic Logic...”
Cover Image
Read Now

11
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Verification -- Model Checking and Analysis -- A Unified Model Checking Approach with Projection Temporal Logic...”
Cover Image
Read Now

12
Published 2020
Springer International Publishing
Table of Contents: “... Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel...”