-
Source code and data relevant for the paper 'Learning Register Automata with ...
The dataset contains source code and data relevant for the journal extension of the conference paper "Learning Register Automata with Fresh Value Generation". The journal was... -
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:... -
Source code and data relevant for the paper 'Learning Register Automata with ...
The dataset contains source code and data relevant for the journal extension of the conference paper "Learning Register Automata with Fresh Value Generation". The journal was...
