Refine Results
Years
  1. 1997 (2)
Publishers
  1. Springer (2)
Open access
  1. no (2)
Peer reviewed
  1. no (2)
Invited
  1. no (2)

Results (2)

  • Robust timed automata
    Conference paper
  • From quantity to quality
    Conference paper