%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 }