Items where Author is "Xue, Bingtian"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Paper in Conference Proceedings or in Workshop Proceedings
Number of items: 2.

Paper in Conference Proceedings or in Workshop Proceedings

  • WNetKAT: A Weighted SDN Programming and Verification Language
    Larsen, Kim G. and Schmid, Stefan and Xue, Bingtian In: 20th International Conference on Principles of Distributed Systems (OPODIS) , December 2016 , Madrid, Spain (2016)

  • WNetKAT: Programming and Verifying Weighted Software-Defined Networks
    Larsen, Kim G. and Schmid, Stefan and Xue, Bingtian In: 28th Nordic Workshop on Programming Theory (NWPT) , October 2016 , Rold Storkro (North Jutland), Denmark (2016)

    • This list was generated on Wed Apr 24 16:42:19 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.