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.

An Efficient Canonical Narrowing Implementation for Protocol Analysis

Raúl López-Rueda, Santiago Escobar 0001, José Meseguer. An Efficient Canonical Narrowing Implementation for Protocol Analysis. In Kyungmin Bae, editor, Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Volume 13252 of Lecture Notes in Computer Science, pages 151-170, Springer, 2022. [doi]

Authors

Raúl López-Rueda

This author has not been identified. Look up 'Raúl López-Rueda' in Google

Santiago Escobar 0001

This author has not been identified. Look up 'Santiago Escobar 0001' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google
runs on