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 af dette arbejde

Originalsprog	Engelsk
Titel	Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings
Redaktører	Tiziana Margaria, Bernhard Steffen
Antal sider	5
Forlag	Springer Verlag
Publikationsdato	1 jan. 2016
Sider	261-265
ISBN (Trykt)	9783319471655
DOI	https://doi.org/10.1007/978-3-319-47166-2_18
Status	Udgivet - 1 jan. 2016
Begivenhed	7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Imperial, Corfu, Grækenland Varighed: 10 okt. 2016 → 14 okt. 2016

Konference

Konference	7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Land/Område	Grækenland
By	Imperial, Corfu
Periode	10/10/2016 → 14/10/2016

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	9952 LNCS
ISSN	0302-9743

Adgang til dokumentet

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

Andre filer og links

Link to publication in Scopus

Citationsformater

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

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 › peer review

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

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

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