Rob Gerth

From MaRDI portal
Person:1125427

Available identifiers

zbMath Open gerth.rob-tristanMaRDI QIDQ1125427

List of research outcomes





PublicationDate of PublicationType
Sequential consistency and the lazy caching algorithm2020-12-03Paper
https://portal.mardi4nfdi.de/entity/Q44722492004-08-04Paper
A partial order approach to branching time logic model checking.2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45317502002-05-23Paper
Partial-order reduction techniques for real-time model checking2001-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45078262000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q42230661999-01-03Paper
https://portal.mardi4nfdi.de/entity/Q37616791987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37410361986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39423771982-01-01Paper

Research outcomes over time

This page was built for person: Rob Gerth

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