Parameterized Synthesis

Roderick Paul Bloem; Swen Jacobs

doi:10.1007/978-3-642-28756-5_25

Parameterized Synthesis

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Place of Publication	Berlin [u.a.]
Publisher	Springer
Pages	362-376
Volume	7214
ISBN (Print)	978-3-642-28756-5
DOIs	https://doi.org/10.1007/978-3-642-28756-5_25
Publication status	Published - 2012
Event	International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Tallinn, Estonia Duration: 24 Mar 2012 → 1 Apr 2012

Publication series

Name	Lecture notes in computer science
Publisher	Springer

Conference

Conference	International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Country/Territory	Estonia
City	Tallinn
Period	24/03/12 → 1/04/12

Fields of Expertise

Information, Communication & Computing

Access to Document

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

Cite this

Bloem, RP & Jacobs, S 2012, Parameterized Synthesis. in Tools and Algorithms for the Construction and Analysis of Systems. vol. 7214, Lecture notes in computer science, Springer, Berlin [u.a.], pp. 362-376, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 24/03/12. https://doi.org/10.1007/978-3-642-28756-5_25

@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; International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; Conference date: 24-03-2012 Through 01-04-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 paper

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.]

T2 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 24 March 2012 through 1 April 2012

ER -

Parameterized Synthesis

Publication series

Conference

Fields of Expertise

Access to Document

Other files and links

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this

Parameterized Synthesis

Publication series

Conference

Fields of Expertise

Access to Document

Other files and links

Projects

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this