Reproduction Artifact for TACAS 2024 paper "Scalable Tree-based Register Automata Learning"

From MaRDI portal

(Redirected from Dataset:6717506)

Jump to:navigation, search

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"

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Reproduction_Artifact_for_TACAS_2024_paper_%22Scalable_Tree-based_Register_Automata_Learning%22&oldid=54686819"