Published December 29, 2023
| Version v1
Dataset
Open
Reproduction Artifact for TACAS 2024 paper "Scalable Tree-based Register Automata Learning"
Authors/Creators
- 1. Technische Universität Dortmund
- 2. Uppsala University
Files
ralib-tacas24-artifact.zip
Files
(493.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:2c03a3fb061bda21dabd48132e7c38a9
|
493.9 MB | Preview Download |