Refine Results
Publishers
  1. IEEE (5)
Open access
  1. no (5)
Peer reviewed
  1. no (5)
Invited
  1. no (5)

Results (5)

  • Concurrent reachability games
    Conference paper
  • Alternating-time temporal logic
    Conference paper
  • A really temporal logic
    Conference paper