International Conference on Formal Methods in Computer-Aided Design

  • Robert Könighofer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Synthesis of Synchronization using Uninterpreted Functions
Zeitraum22 Okt. 2014
EreignistitelInternational Conference on Formal Methods in Computer-Aided Design
VeranstaltungstypKonferenz
OrtLausanne, SchweizAuf Karte anzeigen