Synthesizing Robust Systems with RATSY (bibtex)
by Roderick Paul Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer
Reference:
Synthesizing Robust Systems with RATSYRoderick Paul Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert KönighoferProceedings First Workshop on Synthesis (SYNT 2012) (Open Publishing Association, ed.), pages 47 - 53, 2012, Electronic Proceedings in Theoretical Computer Science.
Bibtex Entry:
@inproceedings{BGHKK12,
publisher = {Electronic Proceedings in Theoretical Computer Science},
title = {Synthesizing Robust Systems with RATSY},
url = {http://arxiv.org/pdf/1207.1268},
booktitle = {Proceedings First Workshop on Synthesis (SYNT 2012)},
author = {Roderick Paul Bloem and Hans-J\"{u}rgen Gamauf and Georg Hofferek
and Bettina K\"{o}nighofer and Robert K\"{o}nighofer},
volume = {84},
editor = {Open Publishing Association},
year = {2012},
pages = {47 - 53},
}
Powered by bibtexbrowser