( en | de | ru )

 

Disambiguation of "Holzmann, Gerard J."

Author of the publication

copydeleteadd this publication to your clipboard
Model-Driven Software Verification.

, and . SPIN, volume 2989 of Lecture Notes in Computer Science, page 76-91. Springer, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

Gerard J Docherty

Gerard Tangerding

Walter Gérard

Kaethe Gerard

Gerard Wilk

 

Other publications of authors with the same name

The Theory and Practice of A Formal Method: NewCoRe.. IFIP Congress (1), volume A-51 of IFIP Transactions, page 35-44. North-Holland, (1994)Code Clarity.. IEEE Software, 33 (2): 22-25 (2016)Early Fault Detection Tools.. TACAS, volume 1055 of Lecture Notes in Computer Science, page 1-13. Springer, (1996)The Pandora System: An Interactive System for the Design of Data Communication Protocols.. Comput. Networks, (1984)On Limits and Possibilities of Automated Protocol Analysis.. PSTV, page 339-344. North-Holland, (1987)An analysis of bistate hashing.. PSTV, volume 38 of IFIP Conference Proceedings, page 301-314. Chapman & Hall, (1995)The SPIN Model Checker. Addison Wesley, (2004)Designing bug-free protocols with SPIN.. Comput. Commun., 20 (2): 97-105 (1997)An Analysis of Bitstate Hashing.. Formal Methods Syst. Des., 13 (3): 289-307 (1998)An Improved Protocol Reachability Analysis Technique.. Softw. Pract. Exp., 18 (2): 137-161 (1988)