Towards Efficient Parameterized Synthesis

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

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

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
Place of PublicationBerlin
PublisherSpringer
Pages108-127
Volume7737
ISBN (Print)978-3-642-35872-2
DOIs
Publication statusPublished - 2013
EventInternational Conference on Verification, Model Checking, and Abstract Interpretation - Rome, Italy
Duration: 20 Jan 201322 Jan 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Verification, Model Checking, and Abstract Interpretation
CountryItaly
CityRome
Period20/01/1322/01/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Khalimov, A., Jacobs, S., & Bloem, R. P. (2013). Towards Efficient Parameterized Synthesis. In Verification, Model Checking, and Abstract Interpretation (Vol. 7737, pp. 108-127). (Lecture Notes in Computer Science). Berlin: Springer. https://doi.org/10.1007/978-3-642-35873-9_9

Towards Efficient Parameterized Synthesis. / Khalimov, Ayrat; Jacobs, Swen; Bloem, Roderick Paul.

Verification, Model Checking, and Abstract Interpretation. Vol. 7737 Berlin : Springer, 2013. p. 108-127 (Lecture Notes in Computer Science).

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

Khalimov, A, Jacobs, S & Bloem, RP 2013, Towards Efficient Parameterized Synthesis. in Verification, Model Checking, and Abstract Interpretation. vol. 7737, Lecture Notes in Computer Science, Springer, Berlin, pp. 108-127, International Conference on Verification, Model Checking, and Abstract Interpretation, Rome, Italy, 20/01/13. https://doi.org/10.1007/978-3-642-35873-9_9
Khalimov A, Jacobs S, Bloem RP. Towards Efficient Parameterized Synthesis. In Verification, Model Checking, and Abstract Interpretation. Vol. 7737. Berlin: Springer. 2013. p. 108-127. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-35873-9_9
Khalimov, Ayrat ; Jacobs, Swen ; Bloem, Roderick Paul. / Towards Efficient Parameterized Synthesis. Verification, Model Checking, and Abstract Interpretation. Vol. 7737 Berlin : Springer, 2013. pp. 108-127 (Lecture Notes in Computer Science).
@inproceedings{1a573e062c5d4756a1374717614fbd3b,
title = "Towards Efficient Parameterized Synthesis",
author = "Ayrat Khalimov and Swen Jacobs and Bloem, {Roderick Paul}",
year = "2013",
doi = "10.1007/978-3-642-35873-9_9",
language = "English",
isbn = "978-3-642-35872-2",
volume = "7737",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "108--127",
booktitle = "Verification, Model Checking, and Abstract Interpretation",

}

TY - GEN

T1 - Towards Efficient Parameterized Synthesis

AU - Khalimov, Ayrat

AU - Jacobs, Swen

AU - Bloem, Roderick Paul

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-35873-9_9

DO - 10.1007/978-3-642-35873-9_9

M3 - Conference contribution

SN - 978-3-642-35872-2

VL - 7737

T3 - Lecture Notes in Computer Science

SP - 108

EP - 127

BT - Verification, Model Checking, and Abstract Interpretation

PB - Springer

CY - Berlin

ER -