EPTCS 98 - WWV 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-5783
- ask others
Josep Silva, Francesco Tiezzi (Eds.): Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems. 2012 EPTCS 98 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6110
- ask others
Leonidas Lampropoulos, Konstantinos F. Sagonas: Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. ... 3-16
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6111
- ask others
Jesús Manuel Almendros-Jiménez, Luis Iribarne: Model Validation in Ontology Based Transformations. ... 17-30
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6112
- ask others
James Smith: The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming. ... 31-45
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6113
- ask others
Sergio Lopez, Josep Silva, David Insa: Using the DOM Tree for Content Extraction. ... 46-59
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6114
- ask others
Jonathan Michaux, Elie Najm, Alessandro Fantechi: Adding Sessions to BPEL. ... 60-76
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6115
- ask others
Irum Rauf, Ali Hanzala Khan, Ivan Porres: Analyzing Consistency of Behavioral REST Web Service Interfaces. ... 77-92