ask others

WWV 2010: Vienna, Austria

> Home > Conferences and Workshops > WWV

- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/2010
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/2010
Laura Kovács, Temur Kutsia:
6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. EPiC Series in Computing 18, EasyChair 2013
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/Eiter10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/Eiter10
Thomas Eiter:
Answer Set Programming in a Nutshell. 1
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/Voronkov10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/Voronkov10
Andrei Voronkov:
EasyChair. 2
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/JaksicF10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/JaksicF10
Mirjana Jaksic, Burkhard Freitag:
Temporal Patterns for Document Verification. 3-18
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/Mattick10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/Mattick10
Volker Mattick:
Specifying Hyperdocuments with Algebraic Methods. 19-33
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/WeitlN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/WeitlN10
Franz Weitl, Shin Nakajima:
Incremental Construction of Counterexamples in Model Checking Web Documents. 34-50
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/Almendros-JimenezBG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/Almendros-JimenezBG10
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García:
Development of a Query Language for GML based on XPath. 51-64
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/ValeroCS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wwv/ValeroCS10
Héctor Valero, Carlos J. Castillo, Josep Silva:
Reconstructing Information Retrieved from Multiple Websites. 65-80

maintained by

at