Lecture Notes in Computer Science - Computer-Aided Verification
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer-Verlag

3540544771
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Memory efficient algorithms for the verification of temporal properties

2005 ◽  
pp. 233-242 ◽  
Author(s):  
C. Courcoubetis ◽  
M. Vardi ◽  
P. Wolper ◽  
M. Yannakakis
Keyword(s):  
Efficient Algorithms ◽  
Temporal Properties ◽  
Memory Efficient

scholarly journals Quantitative temporal reasoning

2005 ◽  
pp. 136-145 ◽  
Author(s):  
E. Allen Emerson ◽  
A. K. Mok ◽  
A. P. Sistla ◽  
Jai Srinivasan
Keyword(s):  
Temporal Reasoning

scholarly journals On using protean to verify ISO FTAM protocol

2005 ◽  
pp. 126-135
Author(s):  
R. Lai ◽  
K. R. Parker ◽  
T. S. Dillon

scholarly journals Papetri : Environment for the analysis of PETRI nets

2005 ◽  
pp. 13-22 ◽  
Author(s):  
G. Berthelot ◽  
C. Johnen ◽  
L. Petrucci
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document