Standard
ModSyn-PP : Modular synthesis of programs and processes track introduction. / Düdder, Boris; Heineman, George T.; Rehof, Jakob.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2016. p. 261-265 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Düdder, B, Heineman, GT & Rehof, J 2016,
ModSyn-PP: Modular synthesis of programs and processes track introduction. in T Margaria & B Steffen (eds),
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9952 LNCS, pp. 261-265, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Imperial, Corfu, Greece,
10/10/2016.
https://doi.org/10.1007/978-3-319-47166-2_18
APA
Düdder, B., Heineman, G. T., & Rehof, J. (2016).
ModSyn-PP: Modular synthesis of programs and processes track introduction. In T. Margaria, & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (pp. 261-265). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9952 LNCS
https://doi.org/10.1007/978-3-319-47166-2_18
Vancouver
Düdder B, Heineman GT, Rehof J.
ModSyn-PP: Modular synthesis of programs and processes track introduction. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. p. 261-265. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
https://doi.org/10.1007/978-3-319-47166-2_18
Author
Düdder, Boris ; Heineman, George T. ; Rehof, Jakob. / ModSyn-PP : Modular synthesis of programs and processes track introduction. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2016. pp. 261-265 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
Bibtex
@inproceedings{db2373425904465f89ea799afdb5cb88,
title = "ModSyn-PP: Modular synthesis of programs and processes track introduction",
author = "Boris D{\"u}dder and Heineman, {George T.} and Jakob Rehof",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-47166-2_18",
language = "English",
isbn = "9783319471655",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "261--265",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
note = "7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 ; Conference date: 10-10-2016 Through 14-10-2016",
}
RIS
TY - GEN
T1 - ModSyn-PP
T2 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
AU - Düdder, Boris
AU - Heineman, George T.
AU - Rehof, Jakob
PY - 2016/1/1
Y1 - 2016/1/1
UR - http://www.scopus.com/inward/record.url?scp=84994008593&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-47166-2_18
DO - 10.1007/978-3-319-47166-2_18
M3 - Article in proceedings
AN - SCOPUS:84994008593
SN - 9783319471655
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 261
EP - 265
BT - Leveraging Applications of Formal Methods, Verification and Validation
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Verlag
Y2 - 10 October 2016 through 14 October 2016
ER -
