Computer Science Today - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540601050, 9783540494355
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Symmetry and induction in model checking

1995 ◽  
pp. 455-470 ◽  
Author(s):  
E. M. Clarke ◽  
S. Jha
Keyword(s):  
Model Checking

Programming Satan's computer

1995 ◽  
pp. 426-440 ◽  
Author(s):  
Ross Anderson ◽  
Roger Needham

The ART behind IDEAS

1995 ◽  
pp. 141-158 ◽  
Author(s):  
Thomas Beth ◽  
Andreas Klappenecker ◽  
Torsten Minkwitz ◽  
Armin Nückel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document