Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SHERPA: unknown

People

Groups

  1. Henzinger Group (1)
Search Within
Refine Results
Years
  1. 2013 (1)
Publishers
Affiliation
  1. IST Austria (1)
Open access
  1. yes (repository) (1)
Peer reviewed
  1. no (1)
Invited
  1. no (1)

Results (1)

  • From model checking to model measuring
    Conference paper