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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540291312, 9783540319399
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Games with Secure Equilibria,

2005 ◽  
pp. 141-161 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger ◽  
Marcin Jurdziński

scholarly journals Probabilistic Linda-Based Coordination Languages

2005 ◽  
pp. 120-140 ◽  
Author(s):  
Alessandra Di Pierro ◽  
Chris Hankin ◽  
Herbert Wiklicky
Keyword(s):  
Coordination Languages

scholarly journals Priced Timed Automata: Algorithms and Applications

2005 ◽  
pp. 162-182 ◽  
Author(s):  
Gerd Behrmann ◽  
Kim G. Larsen ◽  
Jacob I. Rasmussen
Keyword(s):  
Timed Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document