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 contributionResearchpeer-review

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

Bloem, R. P., Hofferek, G., Könighofer, B., Könighofer, R., Außerlechner, S., & Spörk, R. (2014). Synthesis of Synchronization using Uninterpreted Functions. In Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014 (pp. 35-42). ..

Synthesis of Synchronization using Uninterpreted Functions. / Bloem, Roderick Paul; Hofferek, Georg; Könighofer, Bettina; Könighofer, Robert; Außerlechner, Simon; Spörk, Raphael.

Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014. ., 2014. p. 35-42.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Hofferek, G, Könighofer, B, Könighofer, R, Außerlechner, S & Spörk, R 2014, Synthesis of Synchronization using Uninterpreted Functions. in Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014. ., pp. 35-42, International Conference on Formal Methods in Computer-Aided Design, Lausanne, Switzerland, 21/10/14.
Bloem RP, Hofferek G, Könighofer B, Könighofer R, Außerlechner S, Spörk R. Synthesis of Synchronization using Uninterpreted Functions. In Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014. . 2014. p. 35-42
Bloem, Roderick Paul ; Hofferek, Georg ; Könighofer, Bettina ; Könighofer, Robert ; Außerlechner, Simon ; Spörk, Raphael. / Synthesis of Synchronization using Uninterpreted Functions. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014. ., 2014. pp. 35-42
@inproceedings{8e5797ed79984013829293116ebedb8e,
title = "Synthesis of Synchronization using Uninterpreted Functions",
author = "Bloem, {Roderick Paul} and Georg Hofferek and Bettina K{\"o}nighofer and Robert K{\"o}nighofer and Simon Au{\ss}erlechner and Raphael Sp{\"o}rk",
year = "2014",
language = "English",
isbn = "978-0-9835678-4-4",
pages = "35--42",
booktitle = "Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014",
publisher = ".",

}

TY - GEN

T1 - Synthesis of Synchronization using Uninterpreted Functions

AU - Bloem, Roderick Paul

AU - Hofferek, Georg

AU - Könighofer, Bettina

AU - Könighofer, Robert

AU - Außerlechner, Simon

AU - Spörk, Raphael

PY - 2014

Y1 - 2014

M3 - Conference contribution

SN - 978-0-9835678-4-4

SP - 35

EP - 42

BT - Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014

PB - .

ER -