How to Handle Assumptions in Synthesis (bibtex)
by Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
Reference:
How to Handle Assumptions in SynthesisRoderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert KönighoferProceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014., pages 34-50, 2014.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/BloemEJK14,
  author    = {Roderick Bloem and
               R{\"{u}}diger Ehlers and
               Swen Jacobs and
               Robert K{\"{o}}nighofer},
  title     = {How to Handle Assumptions in Synthesis},
  booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
               July 23-24, 2014.},
  year      = {2014},
  pages     = {34--50},
  crossref  = {DBLP:journals/corr/ChatterjeeEJ14},
  url       = {http://dx.doi.org/10.4204/EPTCS.157.7},
}
Powered by bibtexbrowser