Sander de Putter

Available identifiers

zbMath Open de-putter.sanderMaRDI QIDQ682360

List of research outcomes

Publication	Date of Publication	Type
To compose, or not to compose, that is the question: an analysis of compositional state space generation	2021-05-04	Paper
A formal verification technique for behavioural model-to-model transformations	2018-02-02	Paper
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique	2016-04-21	Paper
Penetrative convection in a horizontally isotropic porous layer	2003-08-31	Paper

Research outcomes over time

This page was built for person: Sander de Putter