Treffer 1 - 2 von 2 für Suche 'Tollund, Rasmus G.', Suchdauer: 0,22s Treffer weiter einschränken
  1. 1
    Kaki: Efficient Concurrent Update Synthesis for SDN

    Kaki: Efficient Concurrent Update Synthesis for SDN von Johansen, Nicklas S., Kær, Lasse B., Madsen, Andreas L., Nielsen, Kristian Ø., Srba, Jiří, Tollund, Rasmus G.

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

    Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games von Johansen, Nicklas S., Kær, Lasse B., Madsen, Andreas L., Nielsen, Kristian Ø., Srba, Jiří, Tollund, Rasmus G.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: