Experimental data for paper "strategFTO: Untimed control for timed opacity"
From MaRDI portal
DOI10.5281/zenodo.7181848Zenodo7181848MaRDI QIDQ6724297
Dataset published at Zenodo repository.
Author name not available (Why is that?)
Publication date: 10 October 2022
Copyright license: No records found.
This data set contains all experimental data for paper strategFTO: Untimed control for timed opacity.
This page was built for dataset: Experimental data for paper "strategFTO: Untimed control for timed opacity"