Haifa Verification Conference 2010

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Debugging Unrealizable Specifications with Model-Based Diagnosis
Period6 Oct 2010
Event titleHaifa Verification Conference 2010
Event typeConference
LocationHaifa, Israel