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
Published 2021
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

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

7
Published 2019
Springer International Publishing
Table of Contents: “... -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game...”
Cover Image
Read Now

8
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome...”
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 2020
Springer International Publishing
Table of Contents: “... Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel...”