« Home

Person. Orna Kupferman [kupferman]

  • Professor
  • Hebrew University
  • 0000-0003-4699-6117
  • https://www.cs.huji.ac.il/~ornak/

Related

    Institution. Hebrew University [huji]

    • Jerusalem
    • https://huji.ac.il

    Contributions

      Reference. Model Checking of Safety Properties [kupferman-vardi-2001]

      • November 2001
      • Orna Kupferman, Moshe Vardi
      • Formal Methods in System Design 19 291–314
      • 10.1023/A:1011254632723