Tree automata and automated model building (1997)

by N Peltier
Venue:Fundamenta Informaticae