( en | de | ru )

 

Disambiguierung von "Smith, Graeme"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending W for Object-Z.

. ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 276-295. Springer, (1995)

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.

Graeme Smith

Graeme Cokayne

Graeme Gange

Graeme Pope

Graeme Milligan

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Separation of Correlation-Assisted Sum Capacities of Multiple Access Channels., , , und . IEEE Trans. Inf. Theory, 69 (9): 5805-5844 (September 2023)Bound entangled states with secret key and their classical counterpart, , und . CoRR, (2013)Extending W for Object-Z.. ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 276-295. Springer, (1995)A Dafny-based approach to thread-local information flow analysis.. FormaliSE, Seite 86-96. IEEE, (2023)On the separation of correlation-assisted sum capacities of multiple access channels., , , und . ISIT, Seite 2756-2761. IEEE, (2022)The platypus of the quantum channel zoo., , , , und . ISIT, Seite 2433-2438. IEEE, (2022)A Framework for Correctness Criteria on Weak Memory Models., und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 178-194. Springer, (2015)Associated Paper: The Object-Z Specification Language., , , und . TOOLS (5), Seite 465-484. Prentice Hall, (1991)Model Checking Z Specifications Using SAL., und . ZB, Volume 3455 von Lecture Notes in Computer Science, Seite 85-103. Springer, (2005)Specification, Refinement and Verification of Concurrent Systems---An Integration of Object-Z and CSP, und . Form. Methods Syst. Des., 18 (3): 249--284 (2001)