%0 Conference Paper %1 conf/fossacs/CaltaisHMT22 %A Caltais, Georgiana %A Hojjat, Hossein %A Mousavi, Mohammad Reza %A Tunç, Hünkar Can %B FoSSaCS %D 2022 %E Bouyer, Patricia %E Schröder, Lutz %I Springer %K dblp %P 184-204 %T DyNetKAT: An Algebra of Dynamic Networks. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2022.html#CaltaisHMT22 %V 13242 %@ 978-3-030-99253-8

@inproceedings{conf/fossacs/CaltaisHMT22, added-at = {2022-04-29T00:00:00.000+0200}, author = {Caltais, Georgiana and Hojjat, Hossein and Mousavi, Mohammad Reza and Tunç, Hünkar Can}, biburl = {https://www.bibsonomy.org/bibtex/27e2ef5f96c53c322cd19aa7f90bffa6f/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2022}, editor = {Bouyer, Patricia and Schröder, Lutz}, ee = {https://doi.org/10.1007/978-3-030-99253-8_10}, interhash = {958a319d78a0a7f5a804e9b7dff969ef}, intrahash = {7e2ef5f96c53c322cd19aa7f90bffa6f}, isbn = {978-3-030-99253-8}, keywords = {dblp}, pages = {184-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:35.000+0200}, title = {DyNetKAT: An Algebra of Dynamic Networks.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2022.html#CaltaisHMT22}, volume = 13242, year = 2022 }