DMCA

Reasoning about XML with Temporal Logics and Automata

by Leonid Libkin , Cristina Sirangelo
Venue:In LPAR’08
Citations:25 - 4 self