Volume
@proceedings{WWV2010,
title = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{WWV2010:Answer_Set_Programming_in,
author = {Thomas Eiter},
title = {Answer Set Programming in a Nutshell},
booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
pages = {1},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/jB},
doi = {10.29007/tmt3}}
@inproceedings{WWV2010:EasyChair,
author = {Andrei Voronkov},
title = {EasyChair},
booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
pages = {2},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3X1},
doi = {10.29007/n94r}}
@inproceedings{WWV2010:Temporal_Patterns_for_Document,
author = {Mirjana Jaksic and Burkhard Freitag},
title = {Temporal Patterns for Document Verification},
booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
pages = {3--18},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kGx},
doi = {10.29007/dclv}}
@inproceedings{WWV2010:Specifying_Hyperdocuments_with_Algebraic,
author = {Volker Mattick},
title = {Specifying Hyperdocuments with Algebraic Methods},
booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
pages = {19--33},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/tqDK},
doi = {10.29007/3bwg}}
@inproceedings{WWV2010:Incremental_Construction_of_Counterexamples,
author = {Franz Weitl and Shin Nakajima},
title = {Incremental Construction of Counterexamples in Model Checking Web Documents},
booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
pages = {34--50},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xB},
doi = {10.29007/c8jt}}
@inproceedings{WWV2010:Development_of_Query_Language,
author = {Jesus Almendros-Jimenez and Antonio Becerra-Teron and Francisco Garcia-Garcia},
title = {Development of a Query Language for GML based on XPath},
booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
pages = {51--64},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zVz},
doi = {10.29007/hfk7}}
@inproceedings{WWV2010:Reconstructing_Information_Retrieved_from,
author = {H\textbackslash{}'ector Valero and Carlos Castillo and Josep Silva},
title = {Reconstructing Information Retrieved from Multiple Websites},
booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {18},
pages = {65--80},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/QGs},
doi = {10.29007/7q7l}}