| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Loredana Afanasiev Loredana Afanasiev, Massimo Franceschet , Maarten Marx , Maarten de Rijke : CTL Model Checking for Processing Simple XPath Queries. TIME 2004 : 117-124 1 [ 1 ] 2 [ 1 ] 3 [ 1 ]  ©2005 Association for Computing Machinery |
