173
Voted
CONCUR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...