Synthesis of Synchronization using Uninterpreted Functions (bibtex)
by Roderick Paul Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Außerlechner, Raphael Spörk
Reference:
Synthesis of Synchronization using Uninterpreted FunctionsRoderick Paul Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Außerlechner, Raphael Spörk, 2014.Note: in press
Bibtex Entry:
@inproceedings{Bloem2014SynthesisSynchronizationusingUninterpreted,
author = {Roderick Paul Bloem and Georg Hofferek and Bettina K\"{o}nighofer and Robert K\"{o}nighofer and Simon Au\ss{}erlechner and Raphael Sp\"{o}rk},
title = {Synthesis of Synchronization using Uninterpreted Functions},
year = {2014},
note = {in press},
url = {http://repositories.lib.utexas.edu/bitstream/handle/2152/26151/FMCAD_2014.pdf?sequence=2#page=47}
}
Powered by bibtexbrowser