Person:6096732

From MaRDI portal

Available identifiers

zbMath Open horvat.sebastijanMaRDI QIDQ6096732

List of research outcomes





PublicationDate of PublicationType
Bisimulations and bisimulation games between Verbrugge models2023-09-15Paper

Research outcomes over time

This page was built for person: