( en | de | ru )

 

Disambiguation of "Goldsmith, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock.

, , , , , and . TACAS, volume 1019 of Lecture Notes in Computer Science, page 133-152. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Morris Goldsmith

Robert Goldsmith

Simon Goldsmith

Daniel Goldsmith

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)
 

Other publications of authors with the same name

Challenges to Process-Algebraic Property-Checking.. PDPTA, page 273-278. CSREA Press, (1999)Analysis of Dependencies in Critical Infrastructures., , and . CRITIS, volume 6983 of Lecture Notes in Computer Science, page 18-29. Springer, (2011)Predicting Graphical Passwords., , , , and . HCI (22), volume 9190 of Lecture Notes in Computer Science, page 23-35. Springer, (2015)A taxonomy of cyber-harms: Defining the impacts of cyber-attacks and understanding how they propagate., , , , and . J. Cybersecur., 4 (1): tyy006 (2018)Technology and Information Trust for Supporting Risky Decisions Based on Social-Media Content., , , and . CIT/IUCC/DASC/PICom, page 461-468. IEEE, (2015)Cybercrime Investigators are Users Too! Understanding the Socio-Technical Challenges Faced by Law Enforcement., , , and . CoRR, (2019)Programming in occam 2., and . Prentice Hall international series in computer science Prentice Hall, (1985)Critical Systems Validation and Verification with CSP and FDR., and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 243-250. Springer, (1998)Guidelines for usable cybersecurity: Past and present., , , and . CSS, page 21-26. IEEE, (2011)A Modelling Approach for Interdependency in Digital Systems-of-Systems Security - Extended Abstract., , , and . CRITIS, volume 6712 of Lecture Notes in Computer Science, page 153-156. Springer, (2010)