SAT-Based Synthesis Methods for Safety Specs

Roderick Paul Bloem, Robert Könighofer, Martina Seidl

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

Originalspracheenglisch
TitelVerification, Model Checking, and Abstract Interpretation, 15th International Conference
Redakteure/-innenKenneth L. McMillan, Xavier Rival
ErscheinungsortBerlin-Heidelberg
Herausgeber (Verlag)Springer
Seiten1-20
Band8318
ISBN (Print)978-3-642-54012-7
DOIs
PublikationsstatusVeröffentlicht - 2014
VeranstaltungInternational Conference on Verification, Model Checking, and Abstract Interpretation - San Diego, USA / Vereinigte Staaten
Dauer: 19 Jan 201421 Jan 2014

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Verification, Model Checking, and Abstract Interpretation
LandUSA / Vereinigte Staaten
OrtSan Diego
Zeitraum19/01/1421/01/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dies zitieren

Bloem, R. P., Könighofer, R., & Seidl, M. (2014). SAT-Based Synthesis Methods for Safety Specs. in K. L. McMillan, & X. Rival (Hrsg.), Verification, Model Checking, and Abstract Interpretation, 15th International Conference (Band 8318, S. 1-20). (Lecture Notes in Computer Science). Berlin-Heidelberg: Springer. https://doi.org/10.1007/978-3-642-54013-4_1

SAT-Based Synthesis Methods for Safety Specs. / Bloem, Roderick Paul; Könighofer, Robert; Seidl, Martina.

Verification, Model Checking, and Abstract Interpretation, 15th International Conference. Hrsg. / Kenneth L. McMillan; Xavier Rival. Band 8318 Berlin-Heidelberg : Springer, 2014. S. 1-20 (Lecture Notes in Computer Science).

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

Bloem, RP, Könighofer, R & Seidl, M 2014, SAT-Based Synthesis Methods for Safety Specs. in KL McMillan & X Rival (Hrsg.), Verification, Model Checking, and Abstract Interpretation, 15th International Conference. Bd. 8318, Lecture Notes in Computer Science, Springer, Berlin-Heidelberg, S. 1-20, San Diego, USA / Vereinigte Staaten, 19/01/14. https://doi.org/10.1007/978-3-642-54013-4_1
Bloem RP, Könighofer R, Seidl M. SAT-Based Synthesis Methods for Safety Specs. in McMillan KL, Rival X, Hrsg., Verification, Model Checking, and Abstract Interpretation, 15th International Conference. Band 8318. Berlin-Heidelberg: Springer. 2014. S. 1-20. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-54013-4_1
Bloem, Roderick Paul ; Könighofer, Robert ; Seidl, Martina. / SAT-Based Synthesis Methods for Safety Specs. Verification, Model Checking, and Abstract Interpretation, 15th International Conference. Hrsg. / Kenneth L. McMillan ; Xavier Rival. Band 8318 Berlin-Heidelberg : Springer, 2014. S. 1-20 (Lecture Notes in Computer Science).
@inproceedings{3b9c8542d4b54dc4916df2a1800e3671,
title = "SAT-Based Synthesis Methods for Safety Specs",
author = "Bloem, {Roderick Paul} and Robert K{\"o}nighofer and Martina Seidl",
year = "2014",
doi = "10.1007/978-3-642-54013-4_1",
language = "English",
isbn = "978-3-642-54012-7",
volume = "8318",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--20",
editor = "McMillan, {Kenneth L.} and Xavier Rival",
booktitle = "Verification, Model Checking, and Abstract Interpretation, 15th International Conference",

}

TY - GEN

T1 - SAT-Based Synthesis Methods for Safety Specs

AU - Bloem, Roderick Paul

AU - Könighofer, Robert

AU - Seidl, Martina

PY - 2014

Y1 - 2014

UR - http://vmcai2014.di.ens.fr/

U2 - 10.1007/978-3-642-54013-4_1

DO - 10.1007/978-3-642-54013-4_1

M3 - Conference contribution

SN - 978-3-642-54012-7

VL - 8318

T3 - Lecture Notes in Computer Science

SP - 1

EP - 20

BT - Verification, Model Checking, and Abstract Interpretation, 15th International Conference

A2 - McMillan, Kenneth L.

A2 - Rival, Xavier

PB - Springer

CY - Berlin-Heidelberg

ER -