Synthesis of Synchronization using Uninterpreted Functions

Roderick Paul Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Außerlechner, Raphael Spörk

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014
Publisher.
Pages35-42
ISBN (Print)978-0-9835678-4-4
Publication statusPublished - 2014
EventInternational Conference on Formal Methods in Computer-Aided Design - Lausanne, Switzerland
Duration: 21 Oct 201424 Oct 2014

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountrySwitzerland
CityLausanne
Period21/10/1424/10/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this