Damian Barsotti

From MaRDI portal
Person:2642979

Available identifiers

zbMath Open barsotti.damianMaRDI QIDQ2642979

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51510322021-02-16Paper
Verification of clock synchronization algorithms: experiments on a combination of deductive tools2013-12-04Paper
Automatic Refinement of Split Binary Semaphore2008-09-17Paper
Verification of clock synchronization algorithms: experiments on a combination of deductive tools2007-09-06Paper

Research outcomes over time

This page was built for person: Damian Barsotti

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