Robby

From MaRDI portal
Person:1888202

Available identifiers

zbMath Open robby.matthewMaRDI QIDQ1888202

List of research outcomes





PublicationDate of PublicationType
Space-reduction strategies for model checking dynamic software2013-08-30Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Computer Aided Verification2006-01-10Paper
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs2004-11-22Paper
https://portal.mardi4nfdi.de/entity/Q44147302003-07-27Paper
https://portal.mardi4nfdi.de/entity/Q27537622002-01-06Paper

Research outcomes over time

This page was built for person: Robby

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