Refine Results
Years
  1. 2007 (27)
Peer reviewed
  1. no (22)
  2. yes (5)
Invited
  1. no (26)
  2. yes (1)

Results (27)

  • Stochastic ω-Regular Games
    Dissertation thesis
  • AMT: a property-based monitoring tool for analog systems
    Conference paper
  • CSL: Computer Science Logic
    Edited conference proceeding
  • An application of web-service interfaces
    Conference paper