Adriano Valenzano

From MaRDI portal
Person:931441

Available identifiers

zbMath Open valenzano.adrianoMaRDI QIDQ931441

List of research outcomes





PublicationDate of PublicationType
Formal Techniques for Networked and Distributed Systems - FORTE 20032010-05-26Paper
Efficient representation of the attacker's knowledge in cryptographic protocols analysis2008-06-25Paper
Automated Technology for Verification and Analysis2006-10-25Paper
EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS2006-08-21Paper
https://portal.mardi4nfdi.de/entity/Q44179332003-07-30Paper
Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions1995-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42019471993-08-30Paper

Research outcomes over time

This page was built for person: Adriano Valenzano

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:931441&oldid=7200860"
Powered by MediaWiki