DMCA

SAT Solvers for Queries over Tree Automata with Constraints (2010)

Cached

Download Links

by Pierre-Cyrille Héam , Vincent Hugot , Olga Kouchnarenko
Venue:In Third International Conference on Software Testing, Verification, and Validation Workshops
Citations:2 - 1 self