( en | de | ru )

 

Disambiguierung von "Brown, Geoffrey M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.

, und . MEMOCODE, Seite 171-180. IEEE Computer Society, (2007)

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.

Martin Brown

Geoffrey Hinds

Jonathan Brown

Gary Brown

Geoffrey Coulson

 

Weitere Publikationen von Autoren mit dem selben Namen

Operating System Kernel for a Reconfigurable Multiprocessor System., und . ICPP, Seite 234-241. IEEE Computer Society Press, (1986)A Lazy Cache Algorithm., , und . SPAA, Seite 209-222. ACM, (1989)Self-Stabilization Over Unreliable Communication Media., und . Distributed Comput., 7 (1): 27-34 (1993)Automated verification and refinement for physical-layer protocols., und . Formal Aspects Comput., 23 (3): 243-266 (2011)Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols., und . MEMOCODE, Seite 171-180. IEEE Computer Society, (2007)Block acknowledgment: redesigning the window protocol., , und . IEEE Trans. Commun., 39 (4): 524-532 (1991)Self-Stabilization of the Alternating-Bit Protocol., und . SRDS, Seite 80-83. IEEE Computer Society, (1989)Asynchronous Multicaches.. Distributed Comput., (1990)Verification of a Data Synchronization Circuit For All Time.. ACSD, Seite 217-228. IEEE Computer Society, (2006)Lazy Caching., , und . ACM Trans. Program. Lang. Syst., 15 (1): 182-205 (1993)