Refine Results
Publishers
  1. ACM (2)
Open access
  1. no (2)
Peer reviewed
  1. no (2)
Invited
  1. no (2)

Results (2)

  • The benefits of relaxing punctuality
    Conference paper
  • Half-order modal logic: How to prove real-time properties
    Conference paper