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"