CTL Model Checking for Processing Simple XPath Queries.

Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke

Browse the full TIME paper archive.