Autor der Publikation

An Integrated Algorithm for Probabilistic Protocol Verification and Evaluation.

, und . INFOCOM, Seite 69-73. IEEE Computer Society, (1989)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimization of the Grouped Sweeping Scheduling (GSS) with Heterogeneous Multimedia Streams., , und . ACM Multimedia, Seite 235-242. ACM Press, (1993)Multicast Source Routing in Packet-Switched Networks., und . INFOCOM, Seite 1284-1288. IEEE Computer Society, (1991)Approaches utilizing segment overlap to minimize test sequences., , und . PSTV, Seite 85-98. North-Holland, (1990)Designing a Distributed Collaborative Environment, , und . Proceedings of the GLOBECOM'92 Conference, Seite 213-219. Orlando, Florida, IEEE Computer Society Press, (Dezember 1992)An Integrated Algorithm for Probabilistic Protocol Verification and Evaluation., und . INFOCOM, Seite 69-73. IEEE Computer Society, (1989)A Multimedia Desktop Collaboration System, , , , und . Proceedings of the GLOBECOM'92 Conference, Seite 739-746. Orlando, Florida, IEEE Computer Society Press, (Dezember 1992)System Support for Computer Mediated Multimedia Collaborations., , und . CSCW, Seite 203-209. ACM, (1992)Dynamic State Exploration in Quantitative Protocol Analysis., und . PSTV, Seite 327-338. North-Holland, (1989)A Framwork for Modeling Collaborations., , und . ULPAA, Volume C-7 von IFIP Transactions, Seite 89-102. North-Holland, (1992)