Riccardo Traverso

From MaRDI portal
Person:896912

Available identifiers

zbMath Open traverso.riccardoMaRDI QIDQ896912

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49953652021-06-24Paper
Adding Data Registers to Parameterized Networks with Broadcast2017-03-16Paper
https://portal.mardi4nfdi.de/entity/Q29575072017-01-26Paper
Parameterized verification of time-sensitive models of ad hoc network protocols2015-12-15Paper
Parameterized Verification of Broadcast Networks of Register Automata2014-07-07Paper
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks2013-03-18Paper
On the Verification of Timed Ad Hoc Networks2011-10-07Paper

Research outcomes over time

This page was built for person: Riccardo Traverso

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