Synthesizing Robust Systems with RATSY

Roderick Paul Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

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

Original languageEnglish
Title of host publicationProceedings First Workshop on Synthesis (SYNT 2012)
PublisherElectronic Proceedings in Theoretical Computer Science
Pages47-53
Volume84
DOIs
Publication statusPublished - 2012
EventWorkshop on Synthesis (SYNT 2012) - Berkeley, California, United States
Duration: 7 Jul 20128 Jul 2012

Conference

ConferenceWorkshop on Synthesis (SYNT 2012)
CountryUnited States
CityBerkeley, California
Period7/07/128/07/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Bloem, R. P., Gamauf, H-J., Hofferek, G., Könighofer, B., & Könighofer, R. (2012). Synthesizing Robust Systems with RATSY. In Proceedings First Workshop on Synthesis (SYNT 2012) (Vol. 84, pp. 47-53). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.84.4

Synthesizing Robust Systems with RATSY. / Bloem, Roderick Paul; Gamauf, Hans-Jürgen; Hofferek, Georg; Könighofer, Bettina; Könighofer, Robert.

Proceedings First Workshop on Synthesis (SYNT 2012). Vol. 84 Electronic Proceedings in Theoretical Computer Science, 2012. p. 47-53.

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

Bloem, RP, Gamauf, H-J, Hofferek, G, Könighofer, B & Könighofer, R 2012, Synthesizing Robust Systems with RATSY. in Proceedings First Workshop on Synthesis (SYNT 2012). vol. 84, Electronic Proceedings in Theoretical Computer Science, pp. 47-53, Workshop on Synthesis (SYNT 2012), Berkeley, California, United States, 7/07/12. https://doi.org/10.4204/EPTCS.84.4
Bloem RP, Gamauf H-J, Hofferek G, Könighofer B, Könighofer R. Synthesizing Robust Systems with RATSY. In Proceedings First Workshop on Synthesis (SYNT 2012). Vol. 84. Electronic Proceedings in Theoretical Computer Science. 2012. p. 47-53 https://doi.org/10.4204/EPTCS.84.4
Bloem, Roderick Paul ; Gamauf, Hans-Jürgen ; Hofferek, Georg ; Könighofer, Bettina ; Könighofer, Robert. / Synthesizing Robust Systems with RATSY. Proceedings First Workshop on Synthesis (SYNT 2012). Vol. 84 Electronic Proceedings in Theoretical Computer Science, 2012. pp. 47-53
@inproceedings{d45900355be74531aab35f8203cf4b78,
title = "Synthesizing Robust Systems with RATSY",
author = "Bloem, {Roderick Paul} and Hans-J{\"u}rgen Gamauf and Georg Hofferek and Bettina K{\"o}nighofer and Robert K{\"o}nighofer",
year = "2012",
doi = "http://dx.doi.org/10.4204/EPTCS.84.4",
language = "English",
volume = "84",
pages = "47--53",
booktitle = "Proceedings First Workshop on Synthesis (SYNT 2012)",
publisher = "Electronic Proceedings in Theoretical Computer Science",

}

TY - GEN

T1 - Synthesizing Robust Systems with RATSY

AU - Bloem, Roderick Paul

AU - Gamauf, Hans-Jürgen

AU - Hofferek, Georg

AU - Könighofer, Bettina

AU - Könighofer, Robert

PY - 2012

Y1 - 2012

UR - http://eptcs.org/content.cgi?SYNT2012

UR - http://eptcs.org/paper.cgi?SYNT2012.4

U2 - http://dx.doi.org/10.4204/EPTCS.84.4

DO - http://dx.doi.org/10.4204/EPTCS.84.4

M3 - Conference contribution

VL - 84

SP - 47

EP - 53

BT - Proceedings First Workshop on Synthesis (SYNT 2012)

PB - Electronic Proceedings in Theoretical Computer Science

ER -