Tree Automata Techniques for Infinite Systems Verification
Summer School, Université de Liège, 2011
Lecture (6h) at the summer school VTSA 2011 (Verification Technology, Systems & Applications), Liège, Belgium, on Tree Automata Techniques for Infinite Systems Verification.