Temporal Logic and State Systems - Texts in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540674016, 9783540686354

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structured Specification

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_9 ◽

2008 ◽

pp. 303-337

Author(s):

Fred Kröger ◽

Stephan Merz

Download Full-text

Extensions of LTL

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_3 ◽

2008 ◽

pp. 65-99

Author(s):

Fred Kröger ◽

Stephan Merz

Download Full-text

Verification of Concurrent Programs

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_8 ◽

2008 ◽

pp. 257-302

Author(s):

Fred Kröger ◽

Stephan Merz

Keyword(s):

Concurrent Programs

Download Full-text

First-Order Linear Temporal Logic

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_5 ◽

2008 ◽

pp. 153-179

Author(s):

Fred Kröger ◽

Stephan Merz

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

Download Full-text

Expressiveness of Propositional Linear Temporal Logics

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_4 ◽

2008 ◽

pp. 101-152

Author(s):

Fred Kröger ◽

Stephan Merz

Keyword(s):

Temporal Logics

Download Full-text

Verification of State Systems

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_7 ◽

2008 ◽

pp. 213-256 ◽

Author(s):

Fred Kröger ◽

Stephan Merz

Download Full-text

State Systems

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_6 ◽

2008 ◽

pp. 181-212

Author(s):

Fred Kröger ◽

Stephan Merz

Download Full-text

Basic Propositional Linear Temporal Logic

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_2 ◽

2008 ◽

pp. 19-64

Author(s):

Fred Kröger ◽

Stephan Merz

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic

Download Full-text

Basic Concepts and Notions of Logics

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_1 ◽

2008 ◽

pp. 1-17

Author(s):

Fred Kröger ◽

Stephan Merz

Keyword(s):

Download Full-text

System Verification by Model Checking

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_11 ◽

2008 ◽

pp. 375-412

Author(s):

Fred Kröger ◽

Stephan Merz

Keyword(s):

Model Checking ◽

System Verification

Download Full-text