Items where Author is "Thorgersen, Marc Tom"

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

  • Automata Theoretic Approach to Verification of MPLS Networks under Link Failures
    Jensen, Peter Gjøl and Jensen, Jesper Stenbjerg and Krogh, Troels Beck and Madsen, Jonas Sand and Schmid, Stefan and Srba, Jiri and Thorgersen, Marc Tom ISSN 1063-6692 (2021)

  • P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
    Stenbjerg Jensen, Jesper and Beck Krogh, Troels and Sand Madsen, Jonas and Schmid, Stefan and Srba, Jiri and Thorgersen, Marc Tom In: 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT) , December 2018 , Heraklion/Crete, Greece (2018)

    • This list was generated on Thu Nov 21 15:44:46 2024 CET.
    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.