%0 Conference Paper %1 conf/time/AfanasievFMR04 %A Afanasiev, Loredana %A Franceschet, Massimo %A Marx, Maarten %A de Rijke, Maarten %B TIME %D 2004 %I IEEE Computer Society %K dblp %P 117-124 %T CTL Model Checking for Processing Simple XPath Queries. %U http://dblp.uni-trier.de/db/conf/time/time2004.html#AfanasievFMR04 %@ 0-7695-2155-X

@inproceedings{conf/time/AfanasievFMR04, added-at = {2015-01-08T00:00:00.000+0100}, author = {Afanasiev, Loredana and Franceschet, Massimo and Marx, Maarten and de Rijke, Maarten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23c085207b3d2246d261582f154854605/dblp}, booktitle = {TIME}, crossref = {conf/time/2004}, ee = {http://doi.ieeecomputersociety.org/10.1109/TIME.2004.1314428}, interhash = {716e41d7fff52e8b298fe9fa34a19f54}, intrahash = {3c085207b3d2246d261582f154854605}, isbn = {0-7695-2155-X}, keywords = {dblp}, pages = {117-124}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:39:49.000+0100}, title = {CTL Model Checking for Processing Simple XPath Queries.}, url = {http://dblp.uni-trier.de/db/conf/time/time2004.html#AfanasievFMR04}, year = 2004 }