International Conference on Formal Methods in Computer-Aided Design

  • Robert Könighofer (Speaker)

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

Description

Talk: Synthesis of Synchronization using Uninterpreted Functions
Period22 Oct 2014
Event titleInternational Conference on Formal Methods in Computer-Aided Design
Event typeConference
LocationLausanne, SwitzerlandShow on map