Treffer 1 – 3 von 3 für Suche 'Klusener, Anton S.', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    A verification of the Bakery protocol combining algebraic and model oriented techniques

    A verification of the Bakery protocol combining algebraic and model oriented techniques von Brovedani, Claudia, Klusener, Anton S.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Models and axioms for a fragment of real time process algebra

    Models and axioms for a fragment of real time process algebra von Klusener, Anton S.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An effective axiomatization for real time ACP

    An effective axiomatization for real time ACP von Fokkink, Willem J. 1965-, Klusener, Anton S.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: