Raúl López-Rueda

From MaRDI portal

Person:6052947

Jump to:navigation, search

Available identifiers

zbMath Open lopez-rueda.raulMaRDI QIDQ6052947

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	2023-09-25	Paper
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method	2022-12-07	Paper

Research outcomes over time

This page was built for person: Raúl López-Rueda

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6052947&oldid=37691439"