External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

SPTool - Equivalence Checker for \mathtt SAND Attack Trees

Barbara Kordy, Piotr Kordy, Yoann van den Boom. SPTool - Equivalence Checker for \mathtt SAND Attack Trees. In Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay, editors, Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers. Volume 10158 of Lecture Notes in Computer Science, pages 105-113, Springer, 2016. [doi]

Authors

Barbara Kordy

This author has not been identified. Look up 'Barbara Kordy' in Google

Piotr Kordy

This author has not been identified. Look up 'Piotr Kordy' in Google

Yoann van den Boom

This author has not been identified. Look up 'Yoann van den Boom' in Google
runs on