Artifact for the CAV 2026 Paper: Liquid Tree Automata

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Ashish Mishra, Suresh Jaganathan
DOI: 10.5281/zenodo.19821156
Cited by: 1

Abstract

Artifact for the CAV 2026 Paper, titled: Liquid Tree Automata

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 April 2026