Treffer 1 - 1 von 1 für Suche 'Carbonneaux, Q', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Applying formal verification to microkernel IPC at meta

    Applying formal verification to microkernel IPC at meta von Carbonneaux, Q, Zilberstein, N, Klee, C, O'Hearn, PW, Zappa Nardelli, F

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: