Model-Checking Infinite Systems Generated by Ground Tree Rewriting.

Christof Lding

Browse the full FOSSACS paper archive.