- Title
- Modeling, verifying and reasoning about web services (Extended Abstract)
- Creators
- A MartelliM AlbertiM BaldoniC BaroglioF ChesaniA CiampoliniM GavanelliE LammaP MelloMarco MontaliV PattiF RiguzziC SchifanellaS StorariP Torroni
- Publication Details
- Proceedings of the 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS), Vol.196
- Editor(s)
- Polleres A, Decker S, Gupta G, Bruijn J
- Conference
- 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (Seattle, 16/08/2006 - 16/08/2006)
- Series / Volume
- 196
- Publisher
- CEUR-WS.org
- Identifiers
- (UNIBZ)616160
991006493878301241 - Scopus ID
- n.a.
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Abstract
- Author Names String
- Martelli A, Alberti M, Baldoni M, Baroglio C, Chesani F, Ciampolini A, Gavanelli M, Lamma E, Mello P, Montali M, Patti V, Riguzzi F, Schifanella C, Storari S, Torroni P
- Additional Description
- Editors/Supervisors: Polleres A, Decker S, Gupta G, Bruijn J
Abstract
Modeling, verifying and reasoning about web services (Extended Abstract)
Proceedings of the 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS), Vol.196
196
1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (Seattle, 16/08/2006 - 16/08/2006)
2006
Handle:
https://hdl.handle.net/10863/29266
Details
Metrics
4 Record Views