Roy Mennicke

From MaRDI portal
Person:2398212

Available identifiers

zbMath Open mennicke.royMaRDI QIDQ2398212

List of research outcomes





PublicationDate of PublicationType
The complexity of model checking multi-stack systems2017-08-15Paper
The Complexity of Model Checking Multi-stack Systems2017-07-03Paper
Model checking concurrent recursive programs using temporal logics2014-10-14Paper
Propositional dynamic logic with converse and repeat for message-passing systems2013-07-09Paper
Propositional dynamic logic with converse and repeat for message-passing systems2012-09-25Paper

Research outcomes over time

This page was built for person: Roy Mennicke

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