Jori Dubrovin

From MaRDI portal
Person:436409

Available identifiers

zbMath Open dubrovin.joriMaRDI QIDQ436409

List of research outcomes





PublicationDate of PublicationType
Exploiting step semantics for efficient bounded model checking of asynchronous systems2012-07-20Paper
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing2010-01-14Paper
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking2009-01-27Paper

Research outcomes over time

This page was built for person: Jori Dubrovin

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