Haifa Verification Conference 2010

  • Robert Könighofer (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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