( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An analysis of bistate hashing.

. PSTV, том 38 из IFIP Conference Proceedings, стр. 301-314. Chapman & Hall, (1995)

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.

Gerard J Docherty

Gerard Meijer

Gérard Gäfgen

Gerard Spettel

Gerard Tangerding

 

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

Preface., , и . The Spin Verification System, том 32 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. ix-. DIMACS/AMS, (1996)Outline for an operational semantics of Promela., и . The Spin Verification System, том 32 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 133-152. DIMACS/AMS, (1996)An Analysis of Bitstate Hashing.. Formal Methods Syst. Des., 13 (3): 289-307 (1998)Designing bug-free protocols with SPIN.. Comput. Commun., 20 (2): 97-105 (1997)Early Fault Detection Tools.. TACAS, том 1055 из Lecture Notes in Computer Science, стр. 1-13. Springer, (1996)The Pandora System: An Interactive System for the Design of Data Communication Protocols.. Comput. Networks, (1984)Metis: File System Model Checking via Versatile Input and State Exploration., , , , , , , и . FAST, стр. 123-140. USENIX Association, (2024)A Stack-Slicing Algorithm for Multi-Core Model Checking.. PDMC@CAV, том 198 из Electronic Notes in Theoretical Computer Science, стр. 3-16. Elsevier, (2007)The SPIN Model Checker. Addison Wesley, (2004)The Theory and Practice of A Formal Method: NewCoRe.. IFIP Congress (1), том A-51 из IFIP Transactions, стр. 35-44. North-Holland, (1994)