Treffer 1 – 7 von 7 für Suche 'Romijn, Judi M. T.', Suchdauer: 0,04s
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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Model checking the HAVi leader election protocol von Romijn, Judi M. T.
Veröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen … -
2
Exploiting symmetry in protocol testing von Romijn, Judi M. T., Springintveld, Jan
Veröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen … -
3
Tackling the Dagstuhl'94 specification problem with I O automata von Romijn, Judi M. T.
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
4
A note on fairness in I O automata von Romijn, Judi M. T.
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
5
A timed verification of the IEEE 1394 leader election protocol von Romijn, Judi M. T.
Veröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen … -
6
Tackling the Dagstuhl 94 specification problem with I/O automata von Romijn, Judi M. T.
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
7
A note on fairness in I O automata von Romijn, Judi M. T., Vaandrager, Frits W.
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …