Tim Kemna

From MaRDI portal
Person:5758102

Available identifiers

zbMath Open kemna.timMaRDI QIDQ5758102

List of research outcomes

PublicationDate of PublicationType
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking2007-09-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Tim Kemna