Compositional Automata Learning of Synchronous Systems

Thomas Neele; Matteo Sammartino

doi:10.1007/978-3-031-30826-03

Compositional Automata Learning of Synchronous Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Editors	Leen Lambers, Sebastián Uchitel
Publisher	Springer
Pages	47-66
Number of pages	20
ISBN (Electronic)	978-3-031-30826-0
ISBN (Print)	978-3-031-30825-3
DOIs	https://doi.org/10.1007/978-3-031-30826-03
Publication status	Published - 20 Apr 2023

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	13991

Access to Document

10.1007/978-3-031-30826-03Licence: CC BY

Cite this

Neele, T., & Sammartino, M. (2023). Compositional Automata Learning of Synchronous Systems. In L. Lambers, & S. Uchitel (Eds.), Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (pp. 47-66). (Lecture Notes in Computer Science; Vol. 13991). Springer. https://doi.org/10.1007/978-3-031-30826-03

Neele, Thomas ; Sammartino, Matteo. / Compositional Automata Learning of Synchronous Systems. Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. editor / Leen Lambers ; Sebastián Uchitel. Springer, 2023. pp. 47-66 (Lecture Notes in Computer Science).

@inproceedings{02295d84fce4464b8a53a30268a229c7,

title = "Compositional Automata Learning of Synchronous Systems",

author = "Thomas Neele and Matteo Sammartino",

year = "2023",

month = apr,

day = "20",

doi = "10.1007/978-3-031-30826-03",

language = "English",

isbn = "978-3-031-30825-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "47--66",

editor = "Leen Lambers and Sebasti{\'a}n Uchitel",

booktitle = "Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings",

}

Neele, T & Sammartino, M 2023, Compositional Automata Learning of Synchronous Systems. in L Lambers & S Uchitel (eds), Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science, vol. 13991, Springer, pp. 47-66. https://doi.org/10.1007/978-3-031-30826-03

Compositional Automata Learning of Synchronous Systems. / Neele, Thomas; Sammartino, Matteo.
Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. ed. / Leen Lambers; Sebastián Uchitel. Springer, 2023. p. 47-66 (Lecture Notes in Computer Science; Vol. 13991).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Compositional Automata Learning of Synchronous Systems

AU - Neele, Thomas

AU - Sammartino, Matteo

PY - 2023/4/20

Y1 - 2023/4/20

U2 - 10.1007/978-3-031-30826-03

DO - 10.1007/978-3-031-30826-03

M3 - Conference contribution

SN - 978-3-031-30825-3

T3 - Lecture Notes in Computer Science

SP - 47

EP - 66

BT - Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

A2 - Lambers, Leen

A2 - Uchitel, Sebastián

PB - Springer

ER -

Neele T, Sammartino M. Compositional Automata Learning of Synchronous Systems. In Lambers L, Uchitel S, editors, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Springer. 2023. p. 47-66. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-30826-03