Cited By
View all- Böltz LSofronie-Stokkermans VFrey H(2024)On the Verification of the Correctness of a Subgraph Construction AlgorithmVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-50524-9_14(303-325)Online publication date: 15-Jan-2024
- Böhmer SFrey H(2023)Percolation and Range Bounds in Log-Normal Shadowing Modeled NetworksICC 2023 - IEEE International Conference on Communications10.1109/ICC45041.2023.10278797(1438-1443)Online publication date: 28-May-2023
- Böltz LBecker BFrey H(2021)Local Construction of Connected Plane Subgraphs in Graphs Satisfying Redundancy and CoexistenceProcedia Computer Science10.1016/j.procs.2021.11.016195(108-117)Online publication date: 2021