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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{WWV2010:Answer_Set_Programming_Nutshell,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jB},
doi = {10.29007/tmt3},
pages = {1},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3X1},
doi = {10.29007/n94r},
pages = {2},
year = {2013}}
@inproceedings{WWV2010:Temporal_Patterns_Document_Verification,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kGx},
doi = {10.29007/dclv},
pages = {3-18},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/tqDK},
doi = {10.29007/3bwg},
pages = {19-33},
year = {2013}}
@inproceedings{WWV2010:Incremental_Construction_Counterexamples_Model,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xB},
doi = {10.29007/c8jt},
pages = {34-50},
year = {2013}}
@inproceedings{WWV2010:Development_Query_Language_GML,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zVz},
doi = {10.29007/hfk7},
pages = {51-64},
year = {2013}}
@inproceedings{WWV2010:Reconstructing_Information_Retrieved_from,
author = {Héctor 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/QGs},
doi = {10.29007/7q7l},
pages = {65-80},
year = {2013}}