Treffer 1 – 7 von 7 für Suche 'Romijn, Judi M. T.', Suchdauer: 0,05s 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
    Model checking the HAVi leader election protocol

    Model checking the HAVi leader election protocol von Romijn, Judi M. T.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Exploiting symmetry in protocol testing

    Exploiting symmetry in protocol testing von Romijn, Judi M. T., Springintveld, Jan

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Tackling the Dagstuhl'94 specification problem with I O automata

    Tackling the Dagstuhl'94 specification problem with I O automata von Romijn, Judi M. T.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A note on fairness in I O automata

    A note on fairness in I O automata von Romijn, Judi M. T.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A timed verification of the IEEE 1394 leader election protocol

    A timed verification of the IEEE 1394 leader election protocol von Romijn, Judi M. T.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Tackling the Dagstuhl 94 specification problem with I/O automata

    Tackling the Dagstuhl 94 specification problem with I/O automata von Romijn, Judi M. T.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A note on fairness in I O automata

    A note on fairness in I O automata von Romijn, Judi M. T., Vaandrager, Frits W.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: