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