Composing Constraint Automata, State-by-State

Sung-Shik Jongmans; Tobias Kappé; Farhad Arbab

doi:10.1007/978-3-319-28934-2_12

Composing Constraint Automata, State-by-State

Sung-Shik Jongmans^*, Tobias Kappé, Farhad Arbab

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Formal Aspects of Component Software
Subtitle of host publication	12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Editors	Christiano Braga, Peter Csaba Ölveczky
Place of Publication	Cham
Publisher	Springer International Publishing
Chapter	12
Pages	217-236
Number of pages	20
ISBN (Electronic)	9783319289342
ISBN (Print)	9783319289335
DOIs	https://doi.org/10.1007/978-3-319-28934-2_12
Publication status	Published - 2016
Event	12th International Conference Formal Aspects of Component Software - Niterói, Brazil Duration: 14 Oct 2015 → 16 Oct 2015 Conference number: 12

Publication series

Series	Lecture Notes in Computer Science (LNCS) series
Volume	9539
ISSN	0302-9743

Series	Programming and Software Engineering LNPSE
Volume	9539

Conference

Conference	12th International Conference Formal Aspects of Component Software
Abbreviated title	FACS 2105
Country/Territory	Brazil
City	Niterói
Period	14/10/15 → 16/10/15

Access to Document

10.1007/978-3-319-28934-2_12

Cite this

Jongmans, S.-S., Kappé, T., & Arbab, F. (2016). Composing Constraint Automata, State-by-State. In C. Braga, & P. C. Ölveczky (Eds.), Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (pp. 217-236). Springer International Publishing. https://doi.org/10.1007/978-3-319-28934-2_12

Jongmans, Sung-Shik ; Kappé, Tobias ; Arbab, Farhad. / Composing Constraint Automata, State-by-State. Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. editor / Christiano Braga ; Peter Csaba Ölveczky. Cham : Springer International Publishing, 2016. pp. 217-236 (Lecture Notes in Computer Science (LNCS) series, Vol. 9539). (Programming and Software Engineering LNPSE, Vol. 9539).

@inproceedings{5ab21b6cc07b406dad78723cb75aff03,

title = "Composing Constraint Automata, State-by-State",

author = "Sung-Shik Jongmans and Tobias Kapp{\'e} and Farhad Arbab",

year = "2016",

doi = "10.1007/978-3-319-28934-2_12",

language = "English",

isbn = "9783319289335",

series = "Lecture Notes in Computer Science (LNCS) series",

publisher = "Springer International Publishing",

pages = "217--236",

editor = "Christiano Braga and {\"O}lveczky, {Peter Csaba }",

booktitle = "Formal Aspects of Component Software",

address = "Switzerland",

note = "12th International Conference Formal Aspects of Component Software, FACS 2105 ; Conference date: 14-10-2015 Through 16-10-2015",

}

Jongmans, S-S, Kappé, T & Arbab, F 2016, Composing Constraint Automata, State-by-State. in C Braga & PC Ölveczky (eds), Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer International Publishing, Cham, Lecture Notes in Computer Science (LNCS) series, vol. 9539, Programming and Software Engineering LNPSE, vol. 9539, pp. 217-236, 12th International Conference Formal Aspects of Component Software, Niterói, Brazil, 14/10/15. https://doi.org/10.1007/978-3-319-28934-2_12

Composing Constraint Automata, State-by-State. / Jongmans, Sung-Shik; Kappé, Tobias; Arbab, Farhad.
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. ed. / Christiano Braga; Peter Csaba Ölveczky. Cham: Springer International Publishing, 2016. p. 217-236 (Lecture Notes in Computer Science (LNCS) series, Vol. 9539). (Programming and Software Engineering LNPSE, Vol. 9539).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Composing Constraint Automata, State-by-State

AU - Jongmans, Sung-Shik

AU - Kappé, Tobias

AU - Arbab, Farhad

N1 - Conference code: 12

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-28934-2_12

DO - 10.1007/978-3-319-28934-2_12

M3 - Conference Article in proceeding

SN - 9783319289335

T3 - Lecture Notes in Computer Science (LNCS) series

SP - 217

EP - 236

BT - Formal Aspects of Component Software

A2 - Braga, Christiano

A2 - Ölveczky, Peter Csaba

PB - Springer International Publishing

CY - Cham

T2 - 12th International Conference Formal Aspects of Component Software

Y2 - 14 October 2015 through 16 October 2015

ER -

Jongmans SS, Kappé T, Arbab F. Composing Constraint Automata, State-by-State. In Braga C, Ölveczky PC, editors, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Cham: Springer International Publishing. 2016. p. 217-236. (Lecture Notes in Computer Science (LNCS) series, Vol. 9539). (Programming and Software Engineering LNPSE, Vol. 9539). doi: 10.1007/978-3-319-28934-2_12