-
Data for: A Comparative Study of Visualizations for Multiple Time Series
Study data of comparative study of visualizations for multiple time series including anonymized participant data from Prolific, data set generation scripts, source code for the... -
Source code and data relevant for the paper 'Model Learning and Model Checkin...
The dataset contains source code and data relevant for the paper "Model Learning and Model Checking of SSH Implementations".Paper url:... -
Source code and data relevant for the paper 'Model Learning and Model Checkin...
The dataset contains source code and data relevant for the paper "Model Learning and Model Checking of SSH Implementations".Paper url:... -
Data for: A Comparative Study of Visualizations for Multiple Time Series
Study data of comparative study of visualizations for multiple time series including anonymized participant data from Prolific, data set generation scripts, source code for the...