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. red. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2016. s. 261-265 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Düdder, B, Heineman, GT & Rehof, J 2016,
ModSyn-PP: Modular synthesis of programs and processes track introduction. i T Margaria & B Steffen (red),
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), bind 9952 LNCS, s. 261-265, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Imperial, Corfu, Grækenland,
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. I T. Margaria, & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (s. 261-265). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 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. I Margaria T, Steffen B, red., Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. s. 261-265. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 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. red. / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2016. s. 261-265 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 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 -
