Results (8)

  • Monitoring temporal logic with clock variables
    Conference paper
  • The compound interest in relaxing punctuality
    Conference paper
  • A theory of register monitors
    Conference paper