research
VLDL Satisfiability and Model Checking via Tree Automata
- Publication date
- 2 August 2017
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)