Reproduction Artifact for TACAS 2024 paper "Scalable Tree-based Register Automata Learning"
From MaRDI portal
(Redirected from Dataset:6717506)
DOI10.5281/zenodo.10442556Zenodo10442556MaRDI QIDQ6717506FDOQ6717506
Dataset published at Zenodo repository.
Fredrik Tåkvist, Bengt Jonsson, Falk Howar, K. Sagonas, Paul Fiterau-Brostean, Simon Dierl
Publication date: 29 December 2023
Copyright license: Creative Commons Attribution 4.0 International
This page was built for dataset: Reproduction Artifact for TACAS 2024 paper "Scalable Tree-based Register Automata Learning"