Jonas Eckhardt

From MaRDI portal
Person:2848879

Available identifiers

zbMath Open eckhardt.jonasMaRDI QIDQ2848879

List of research outcomes





PublicationDate of PublicationType
Statistical Model Checking for Composite Actor Systems2013-09-13Paper

Research outcomes over time

This page was built for person: Jonas Eckhardt