2872 search results - page 176 / 575 » On (Omega-)Regular Model Checking |
SOMET
2007
15 years 13 days ago
2007
ATAL
2010
Springer
15 years 12 days ago
2010
Springer
ATAL
2010
Springer
15 years 12 days ago
2010
Springer
ECAI
2010
Springer
15 years 11 days ago
2010
Springer
107
click to vote
ECAI
2010
Springer
15 years 11 days 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...