Sciweavers

Share
ATVA
2006
Springer
114views Hardware» more  ATVA 2006»
9 years 5 months ago
Selective Approaches for Solving Weak Games
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
Malte Helmert, Robert Mattmüller, Sven Schewe
books