Items where Author is "Mariegaard, Anders"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 2.

  • AllSynth: A BDD-Based Approach for Network Update Synthesis
    Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri ISSN 0167-6423 Elsevier (2023)

  • AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
    Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri In: 16th International Symposium on Theoretical Aspects of Software Engineering (TASE) , July 2022 , Cluj-Napoca, Romania (2022)

    • This list was generated on Sat May 4 01:49:29 2024 CEST.
    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.