MoL-2003-07: Loredana Afanasiev XML Query Evaluation via CTL Model Checking 1.Full Text, 2.Abstract. < Back
