Orna Kupferman

Office: School of Computer Science and Engineering
Hebrew University
Jerusalem 91904
Israel

Email: orna @ cs.huji.ac.il

Phone: +972-2-5494558 (w)

Fax: +972-2-6585439


Publications

67883 Formal Verification of Reactive Systems

Pictures from India, Wadi Rum, Sweeden, Greece, Cyprus, Kenya, Hebron, St. Petersburg, Thailand, India, Canadian Rockies, Vietnam, Peru, Bangkok, Taipei, Hawaii, Senegal, Jordan, Qatar, Mexico

Raz Gili Alon Tal Anat