3909 search results - page 188 / 782 » Extreme Model Checking |
146
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
97
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
100
Voted
EPEW
2010
Springer
15 years 3 months ago
2010
Springer
95
Voted
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
