Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM), Madrid, 2013

  • Robert Könighofer (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: QBF- and SAT-Based Synthesis Methods for Safety Specifications
Period17 Oct 2013
Event titleWorkshop on Synthesis, Verification and Analysis of Rich Models (SVARM), Madrid, 2013
Event typeWorkshop