Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540569220, 9783540477877
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A decision algorithm for full propositional temporal logic

1993 ◽  
pp. 97-109 ◽  
Author(s):  
Y. Kesten ◽  
Z. Manna ◽  
H. McGuire ◽  
A. Pnueli
Keyword(s):  
Temporal Logic ◽  
Decision Algorithm

scholarly journals An iterative approach to language containment

1993 ◽  
pp. 29-40 ◽  
Author(s):  
Felice Balarin ◽  
Alberto L. Sangiovanni-Vincentelli
Keyword(s):  
Iterative Approach ◽  
Language Containment

Symbolic equivalence checking

1993 ◽  
pp. 85-96 ◽  
Author(s):  
J. C. Fernandez ◽  
A. Kerbrat ◽  
L. Mounier
Keyword(s):  
Equivalence Checking

A Structural linearization principle for processes

1993 ◽  
pp. 491-504 ◽  
Author(s):  
R. P. Kurshan ◽  
M. Merritt ◽  
A. Orda ◽  
S. R. Sachs
Keyword(s):  
Linearization Principle
Load More ...
Sign in / Sign up

Export Citation Format

Share Document