Verification of Dynamic Data Tree with mu-calculus Extended with Separation | IEEE Conference Publication | IEEE Xplore