Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Matthias Schlaipfer; Georg Hofferek; Roderick Paul Bloem

doi:10.1007/978-3-642-34188-5_6

Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Matthias Schlaipfer, Georg Hofferek, Roderick Paul Bloem

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Erscheinungsort	Berlin Heidelberg
Herausgeber (Verlag)	Springer
Seiten	20-34
Band	7261
ISBN (Print)	978-3-642-34187-8
DOIs	https://doi.org/10.1007/978-3-642-34188-5_6
Publikationsstatus	Veröffentlicht - 2012
Veranstaltung	Haifa Verification Conference 2011 - Haifa, Israel Dauer: 6 Dez. 2011 → 8 Dez. 2011

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	Haifa Verification Conference 2011
Land/Gebiet	Israel
Ort	Haifa
Zeitraum	6/12/11 → 8/12/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

10.1007/978-3-642-34188-5_6

paper_2.pdfEndgültige, publizierte Fassung, 368 KB

Andere Dateien und Links

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Projekt: Forschungsprojekt
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet

Dieses zitieren

Schlaipfer, M., Hofferek, G., & Bloem, R. P. (2012). Generalized Reactivity(1) Synthesis without a Monolithic Strategy. in Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers (Band 7261, S. 20-34). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-34188-5_6

Generalized Reactivity(1) Synthesis without a Monolithic Strategy. / Schlaipfer, Matthias; Hofferek, Georg; Bloem, Roderick Paul.
Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Band 7261 Berlin Heidelberg: Springer, 2012. S. 20-34 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Schlaipfer, M, Hofferek, G & Bloem, RP 2012, Generalized Reactivity(1) Synthesis without a Monolithic Strategy. in Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Bd. 7261, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, S. 20-34, Haifa Verification Conference 2011, Haifa, Israel, 6/12/11. https://doi.org/10.1007/978-3-642-34188-5_6

Schlaipfer M, Hofferek G, Bloem RP. Generalized Reactivity(1) Synthesis without a Monolithic Strategy. in Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Band 7261. Berlin Heidelberg: Springer. 2012. S. 20-34. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-34188-5_6

Schlaipfer, Matthias ; Hofferek, Georg ; Bloem, Roderick Paul. / Generalized Reactivity(1) Synthesis without a Monolithic Strategy. Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Band 7261 Berlin Heidelberg : Springer, 2012. S. 20-34 (Lecture Notes in Computer Science).

@inproceedings{416fda3c3a384dcb892a6895cca0f070,

title = "Generalized Reactivity(1) Synthesis without a Monolithic Strategy",

author = "Matthias Schlaipfer and Georg Hofferek and Bloem, {Roderick Paul}",

year = "2012",

doi = "10.1007/978-3-642-34188-5_6",

language = "English",

isbn = "978-3-642-34187-8",

volume = "7261",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "20--34",

booktitle = "Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers",

note = "Haifa Verification Conference ; Conference date: 06-12-2011 Through 08-12-2011",

}

TY - GEN

T1 - Generalized Reactivity(1) Synthesis without a Monolithic Strategy

AU - Schlaipfer, Matthias

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2012

Y1 - 2012

UR - http://www.springerlink.com/content/978-3-642-34187-8/

UR - http://www.springerlink.com/content/f530683n6530x260/

U2 - 10.1007/978-3-642-34188-5_6

DO - 10.1007/978-3-642-34188-5_6

M3 - Conference paper

SN - 978-3-642-34187-8

VL - 7261

T3 - Lecture Notes in Computer Science

SP - 20

EP - 34

BT - Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

PB - Springer

CY - Berlin Heidelberg

T2 - Haifa Verification Conference

Y2 - 6 December 2011 through 8 December 2011

ER -

Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Dieses zitieren