Leonor Prensa Nieto

From MaRDI portal
Person:2642980

Available identifiers

zbMath Open nieto.leonor-prensaMaRDI QIDQ2642980

List of research outcomes





PublicationDate of PublicationType
Verification of clock synchronization algorithms: experiments on a combination of deductive tools2013-12-04Paper
Verification of clock synchronization algorithms: experiments on a combination of deductive tools2007-09-06Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q44179042003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q45363982002-10-08Paper

Research outcomes over time

This page was built for person: Leonor Prensa Nieto

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