Parameterized Synthesis

Roderick Paul Bloem, Swen Jacobs

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

Originalspracheenglisch
TitelTools and Algorithms for the Construction and Analysis of Systems
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten362-376
Band7214
ISBN (Print)978-3-642-28756-5
DOIs
PublikationsstatusVeröffentlicht - 2012
VeranstaltungInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - Tallinn, Estland
Dauer: 24 Mär 20121 Apr 2012

Publikationsreihe

NameLecture notes in computer science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
LandEstland
OrtTallinn
Zeitraum24/03/121/04/12

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

Bloem, R. P., & Jacobs, S. (2012). Parameterized Synthesis. in Tools and Algorithms for the Construction and Analysis of Systems (Band 7214, S. 362-376). (Lecture notes in computer science). Berlin [u.a.]: Springer. https://doi.org/10.1007/978-3-642-28756-5_25

Parameterized Synthesis. / Bloem, Roderick Paul; Jacobs, Swen.

Tools and Algorithms for the Construction and Analysis of Systems. Band 7214 Berlin [u.a.] : Springer, 2012. S. 362-376 (Lecture notes in computer science).

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

Bloem, RP & Jacobs, S 2012, Parameterized Synthesis. in Tools and Algorithms for the Construction and Analysis of Systems. Bd. 7214, Lecture notes in computer science, Springer, Berlin [u.a.], S. 362-376, Tallinn, Estland, 24/03/12. https://doi.org/10.1007/978-3-642-28756-5_25
Bloem RP, Jacobs S. Parameterized Synthesis. in Tools and Algorithms for the Construction and Analysis of Systems. Band 7214. Berlin [u.a.]: Springer. 2012. S. 362-376. (Lecture notes in computer science). https://doi.org/10.1007/978-3-642-28756-5_25
Bloem, Roderick Paul ; Jacobs, Swen. / Parameterized Synthesis. Tools and Algorithms for the Construction and Analysis of Systems. Band 7214 Berlin [u.a.] : Springer, 2012. S. 362-376 (Lecture notes in computer science).
@inproceedings{a39d7201331b48bab696767558fc6502,
title = "Parameterized Synthesis",
author = "Bloem, {Roderick Paul} and Swen Jacobs",
note = "TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012",
year = "2012",
doi = "10.1007/978-3-642-28756-5_25",
language = "English",
isbn = "978-3-642-28756-5",
volume = "7214",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "362--376",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

}

TY - GEN

T1 - Parameterized Synthesis

AU - Bloem, Roderick Paul

AU - Jacobs, Swen

N1 - TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012

PY - 2012

Y1 - 2012

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

U2 - 10.1007/978-3-642-28756-5_25

DO - 10.1007/978-3-642-28756-5_25

M3 - Conference contribution

SN - 978-3-642-28756-5

VL - 7214

T3 - Lecture notes in computer science

SP - 362

EP - 376

BT - Tools and Algorithms for the Construction and Analysis of Systems

PB - Springer

CY - Berlin [u.a.]

ER -