Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarWWV 2010: Vienna, Austria
BibTeX
RIS
RDF N-Triples
XML
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
FacebookLaura 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
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
Franz Weitl, Shin Nakajima:
Incremental Construction of Counterexamples in Model Checking Web Documents. 34-50
Incremental Construction of Counterexamples in Model Checking Web Documents. 34-50
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
Development of a Query Language for GML based on XPath. 51-64
Héctor Valero, Carlos J. Castillo, Josep Silva:
Reconstructing Information Retrieved from Multiple Websites. 65-80
Reconstructing Information Retrieved from Multiple Websites. 65-80
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-20 06:42 CEST by the dblp team