Cited By
View all- Johansen NKær LMadsen ANielsen KSrba JTollund R(2023)Kaki: Efficient Concurrent Update Synthesis for SDNFormal Aspects of Computing10.1145/360595235:3(1-22)Online publication date: 6-Oct-2023
- Lembke JRavi SRoman PEugster P(2022)Secure and Reliable Network UpdatesACM Transactions on Privacy and Security10.1145/355654226:1(1-41)Online publication date: 9-Nov-2022
- Johansen NKær LMadsen ANielsen KSrba JTollund R(2022)Kaki: Concurrent Update Synthesis for Regular Policies via Petri GamesIntegrated Formal Methods10.1007/978-3-031-07727-2_14(249-267)Online publication date: 1-Jun-2022
- Show More Cited By