Parameterized Analysis of Reconfigurable Broadcast Networks
A. Balasubramanian, L. Guillou, and C. Weil-Kennedy. Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, volume 13242 of Lecture Notes in Computer Science, page 61--80. Springer, (2022)
DOI: 10.1007/978-3-030-99253-8\_4
Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 DBLP:conf/fossacs/Balasubramanian22
%A Balasubramanian, A. R.
%A Guillou, Lucie
%A Weil-Kennedy, Chana
%B Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
%D 2022
%E Bouyer, Patricia
%E Schröder, Lutz
%I Springer
%K broadcastnetworks conference parameterizedverification
%P 61--80
%R 10.1007/978-3-030-99253-8\_4
%T Parameterized Analysis of Reconfigurable Broadcast Networks
%U https://doi.org/10.1007/978-3-030-99253-8\_4
%V 13242
@inproceedings{DBLP:conf/fossacs/Balasubramanian22,
added-at = {2022-11-17T15:15:48.000+0100},
author = {Balasubramanian, A. R. and Guillou, Lucie and Weil{-}Kennedy, Chana},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://www.bibsonomy.org/bibtex/2ccf429ab59298fe76b50ddd8cdb028a9/paves},
booktitle = {Foundations of Software Science and Computation Structures - 25th International Conference, {FOSSACS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings},
doi = {10.1007/978-3-030-99253-8\_4},
editor = {Bouyer, Patricia and Schr{\"{o}}der, Lutz},
interhash = {77580387958b95c45b7710638a787d3e},
intrahash = {ccf429ab59298fe76b50ddd8cdb028a9},
keywords = {broadcastnetworks conference parameterizedverification},
pages = {61--80},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-09-24T18:44:59.000+0200},
title = {Parameterized Analysis of Reconfigurable Broadcast Networks},
url = {https://doi.org/10.1007/978-3-030-99253-8\_4},
volume = 13242,
year = 2022
}