DMCA

Approximation-based Tree Regular Model-Checking (2009)

Cached

Download Links

by Y. Boichut (a , P. -c. Héam (b , O. Kouchnarenko (c