Olaf Burkart

From MaRDI portal
Person:1377903

Available identifiers

zbMath Open burkart.olafMaRDI QIDQ1377903

List of research outcomes





PublicationDate of PublicationType
Bisimulation collapse and the process taxonomy2023-06-28Paper
Model checking the full modal mu-calculus for infinite sequential processes2018-07-04Paper
An elementary bisimulation decision procedure for arbitrary context-free processes2010-06-17Paper
Verification on infinite structures.2001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47904092001-01-01Paper
Model checking the full modal mu-calculus for infinite sequential processes2000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42230651999-01-03Paper
https://portal.mardi4nfdi.de/entity/Q42228711998-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42228751998-12-20Paper
Automatic verification of sequential infinite-state processes1998-01-26Paper
https://portal.mardi4nfdi.de/entity/Q43556771997-11-20Paper
https://portal.mardi4nfdi.de/entity/Q48470171996-05-28Paper

Research outcomes over time

This page was built for person: Olaf Burkart

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