Modeling, verifying and reasoning about web services (extended abstract)

Alberto Martelli

Modeling, verifying and reasoning about web services (extended abstract)

Alberto Martelli

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › peer review

Lingua originale	Inglese
pagine (da-a)	105-106
Numero di pagine	2
Rivista	CEUR Workshop Proceedings
Volume	196
Stato di pubblicazione	Pubblicato - 2006
Pubblicato esternamente	Sì
Evento	International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, Part of the 22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, United States Durata: 16 ago 2006 → 16 ago 2006

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{be566e3edf4d4c5289470270246d3f38,

title = "Modeling, verifying and reasoning about web services (extended abstract)",

author = "Alberto Martelli",

year = "2006",

language = "English",

volume = "196",

pages = "105--106",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, Part of the 22nd International Conference on Logic Programming, ICLP 2006 ; Conference date: 16-08-2006 Through 16-08-2006",

}

TY - JOUR

T1 - Modeling, verifying and reasoning about web services (extended abstract)

AU - Martelli, Alberto

PY - 2006

Y1 - 2006

UR - http://www.scopus.com/inward/record.url?scp=84884320211&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84884320211

SN - 1613-0073

VL - 196

SP - 105

EP - 106

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, Part of the 22nd International Conference on Logic Programming, ICLP 2006

Y2 - 16 August 2006 through 16 August 2006

ER -