distributed model checking
Recently Published Documents

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallel and distributed model checking in Eddy

2008 ◽  
Vol 11 (1) ◽  
pp. 13-25 ◽  
Author(s):  
I. Melatti ◽  
R. Palmer ◽  
G. Sawaya ◽  
Y. Yang ◽  
R. M. Kirby ◽  
...  
Keyword(s):  
Model Checking ◽  
Distributed Model ◽  
Distributed Model Checking

Parallel and Distributed Model Checking in Eddy

2006 ◽  
pp. 108-125 ◽  
Author(s):  
Igor Melatti ◽  
Robert Palmer ◽  
Geoffrey Sawaya ◽  
Yu Yang ◽  
Robert Mike Kirby ◽  
...  
Keyword(s):  
Model Checking ◽  
Distributed Model ◽  
Distributed Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document