Synthesizing Robust Systems with RATSY

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelProceedings First Workshop on Synthesis (SYNT 2012)
Herausgeber (Verlag)Electronic Proceedings in Theoretical Computer Science
Seiten47-53
Band84
DOIs
PublikationsstatusVeröffentlicht - 2012
VeranstaltungWorkshop on Synthesis (SYNT 2012) - Berkeley, California, USA / Vereinigte Staaten
Dauer: 7 Jul 20128 Jul 2012

Konferenz

KonferenzWorkshop on Synthesis (SYNT 2012)
LandUSA / Vereinigte Staaten
OrtBerkeley, California
Zeitraum7/07/128/07/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dies zitieren

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) (Band 84, S. 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). Band 84 Electronic Proceedings in Theoretical Computer Science, 2012. S. 47-53.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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). Bd. 84, Electronic Proceedings in Theoretical Computer Science, S. 47-53, Berkeley, California, USA / Vereinigte Staaten, 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). Band 84. Electronic Proceedings in Theoretical Computer Science. 2012. S. 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). Band 84 Electronic Proceedings in Theoretical Computer Science, 2012. S. 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 -