120
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...