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

Published December 29, 2023 | Version v1

Dataset Open

Files

Name	Size
ralib-tacas24-artifact.zip md5:2c03a3fb061bda21dabd48132e7c38a9	493.9 MB	Preview Download

155

Views

Downloads

Show more details

DOI

Resource type

Dataset

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more