WWV 2010: BibTeX Entries

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}}