( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mutual Consistency in Decentralized Distributed Systems.

, и . ICDE, стр. 396-404. IEEE Computer Society, (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Catherine Bangen

In-vitro-Proliferationsverhalten pädiatrischer Tumorzelllinien nach zweistündiger Exposition mit Kohlenstoffdioxid, Helium und Raumluft. MedH Hannover, (2009)

Catherine Deylen

Die deliktische Haftung juristischer Personen nach deutschem, französischem und englischem Recht: eine rechtsvergleichende Analyse. Uni Hagen, (2009)

Cathérine Müller

Catherine Bowen

Catherine Gottschalk

 

Другие публикации лиц с тем же именем

Editorial., , и . Int. J. Inf. Sec., 1 (1): 1-2 (2001)Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches.. ESORICS, том 1146 из Lecture Notes in Computer Science, стр. 351-364. Springer, (1996)CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms., , , , , , , , , и 1 other автор(ы). GandALF, том 370 из EPTCS, стр. 147-161. (2022)Mutual Consistency in Decentralized Distributed Systems., и . ICDE, стр. 396-404. IEEE Computer Society, (1987)Formal Verification of Cryptographic Protocols: A Survey.. ASIACRYPT, том 917 из Lecture Notes in Computer Science, стр. 135-150. Springer, (1994)Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems., , , , , , и . FroCoS, том 12941 из Lecture Notes in Computer Science, стр. 253-270. Springer, (2021)Protocol Dialects as Formal Patterns., , , , и . ESORICS (2), том 14345 из Lecture Notes in Computer Science, стр. 42-61. Springer, (2023)