Results (2)

  • Monitoring temporal logic with clock variables
    Conference paper