AllSynth: A BDD-Based Approach for Network Update Synthesis

AllSynth: A BDD-Based Approach for Network Update Synthesis

Content
Grafik
Authors
  • Larsen, Kim G.
  • Mariegaard, Anders
  • Schmid, Stefan
  • Srba, Jiri
Grafik Top
Projects
Grafik Top
Shortfacts
Category
 Journal Paper
Divisions
 Communication Technologies
Subjects
 Theoretische Informatik
Journal or Publication Title
 Science of Computer Programming
ISSN
 0167-6423
Publisher
 Elsevier
Date
 June 2023
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.