ModSyn-PP: Modular synthesis of programs and processes track introduction

Boris Düdder; George T. Heineman; Jakob Rehof

doi:10.1007/978-3-319-47166-2_18

ModSyn-PP: Modular synthesis of programs and processes track introduction

Boris Düdder^*, George T. Heineman, Jakob Rehof

^*Corresponding author for this work

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Number of pages	5
Publisher	Springer Verlag
Publication date	1 Jan 2016
Pages	261-265
ISBN (Print)	9783319471655
DOIs	https://doi.org/10.1007/978-3-319-47166-2_18
Publication status	Published - 1 Jan 2016
Event	7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Imperial, Corfu, Greece Duration: 10 Oct 2016 → 14 Oct 2016

Conference

Conference	7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Country/Territory	Greece
City	Imperial, Corfu
Period	10/10/2016 → 14/10/2016

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9952 LNCS
ISSN	0302-9743

Access to Document

10.1007/978-3-319-47166-2_18

Cite this

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. https://doi.org/10.1007/978-3-319-47166-2_18

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

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

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). doi: 10.1007/978-3-319-47166-2_18

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

@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",

}

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 -

ModSyn-PP: Modular synthesis of programs and processes track introduction

Conference

Access to Document

Other files and links

Cite this