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

Verification of Concurrent Programs

2008 ◽  
pp. 257-302
Author(s):  
Fred Kröger ◽  
Stephan Merz
Keyword(s):  
Concurrent Programs

First-Order Linear Temporal Logic

2008 ◽  
pp. 153-179
Author(s):  
Fred Kröger ◽  
Stephan Merz
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic ◽  
Order Linear ◽  
First Order

Structured Specification

2008 ◽  
pp. 303-337
Author(s):  
Fred Kröger ◽  
Stephan Merz

Extensions of LTL

2008 ◽  
pp. 65-99
Author(s):  
Fred Kröger ◽  
Stephan Merz

Expressiveness of Propositional Linear Temporal Logics

2008 ◽  
pp. 101-152
Author(s):  
Fred Kröger ◽  
Stephan Merz
Keyword(s):  
Temporal Logics

Verification of State Systems

2008 ◽  
pp. 213-256 ◽  
Author(s):  
Fred Kröger ◽  
Stephan Merz

Basic Propositional Linear Temporal Logic

2008 ◽  
pp. 19-64
Author(s):  
Fred Kröger ◽  
Stephan Merz
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic

State Systems

2008 ◽  
pp. 181-212
Author(s):  
Fred Kröger ◽  
Stephan Merz

Basic Concepts and Notions of Logics

2008 ◽  
pp. 1-17
Author(s):  
Fred Kröger ◽  
Stephan Merz
Keyword(s):  
Basic Concepts

System Verification by Model Checking

2008 ◽  
pp. 375-412
Author(s):  
Fred Kröger ◽  
Stephan Merz
Keyword(s):  
Model Checking ◽  
System Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document