Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SHERPA: unknown

Groups

  1. Henzinger Group (7)
  2. Chatterjee Group (4)
  3. IST Fellow (4)
  4. Wagner Group (3)
  5. Alumni (1)
  6. Edelsbrunner Group (1)
  7. PhD Students (1)
  8. Pietrzak Group (1)

Results (12)

  • From model checking to model measuring
    Conference paper