Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540367499, 9783540367505
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Compatibility Approaches

2006 ◽  
pp. 243-258 ◽  
Author(s):  
Edmund Clarke ◽  
Natasha Sharygina ◽  
Nishant Sinha

scholarly journals Separation Results Via Leader Election Problems

2006 ◽  
pp. 172-194 ◽  
Author(s):  
Maria Grazia Vigliotti ◽  
Iain Phillips ◽  
Catuscia Palamidessi
Keyword(s):  
Leader Election ◽  
Separation Results
Load More ...
Sign in / Sign up

Export Citation Format

Share Document