|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alvaro Arenas, Jin Song Dong, Andrew Martin 0002, Brian Matthews (eds.) |
Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005 |
WLFM@FM |
2006 |
DBLP BibTeX RDF |
|
1 | Lee Momtahan, Andrew P. Martin, A. W. Roscoe 0001 |
A Taxonomy of Web Services Using CSP. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jing Mei, Harold Boley |
Interpreting SWRL Rules in RDF Graphs. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro |
A Model Checking-based Method for Verifying Web Application Design. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu |
Towards the Semantics and Verification of BPEL4WS. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shin Nakajima 0001 |
Model-Checking Behavioral Specification of BPEL Applications. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Jun Sun 0001 |
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Claus Pahl, Yaoling Zhu |
A Semantical Framework for the Orchestration and Choreography of Web Services. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro E. Arenas, Jin Song Dong, Andrew P. Martin, Brian Matthews |
Preface. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|