Alternating-time temporal logic
β
Rajeev Alur; Thomas A. Henzinger; Orna Kupferman
π
Article
π
1999
π
Elsevier Science
π
English
β 36 KB