AllSynth: A BDD-based approach for network update synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kim G. Larsen, Anders Mariegaard, Stefan Schmid 0001, Jirí Srba. AllSynth: A BDD-based approach for network update synthesis. Science of Computer Programming, 230:102992, August 2023. [doi]

This author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Anders Mariegaard' in GoogleThis author has not been identified. Look up 'Stefan Schmid 0001' in GoogleThis author has not been identified. Look up 'Jirí Srba' in Google

runs on WebDSL