Formal Analyses of Web Service Protocols

Saleem Vighio

Research output: Book/ReportPh.D. thesisResearch

Original languageEnglish
Place of PublicationAalborg
Number of pages224
Publication statusPublished - Mar 2012
SeriesPh.D. thesis
Number70
ISSN1601-0590

Cite this

Vighio, S. (2012). Formal Analyses of Web Service Protocols. Aalborg. Ph.D. thesis, No. 70
Vighio, Saleem. / Formal Analyses of Web Service Protocols. Aalborg, 2012. 224 p. (Ph.D. thesis; No. 70).
@phdthesis{7a526095666645b48789acf871d92ab1,
title = "Formal Analyses of Web Service Protocols",
author = "Saleem Vighio",
year = "2012",
month = "3",
language = "English",
series = "Ph.D. thesis",
publisher = "Department of Computer Science, Aalborg University",
number = "70",

}

Vighio, S 2012, Formal Analyses of Web Service Protocols. Ph.D. thesis, no. 70, Aalborg.

Formal Analyses of Web Service Protocols. / Vighio, Saleem.

Aalborg, 2012. 224 p. (Ph.D. thesis; No. 70).

Research output: Book/ReportPh.D. thesisResearch

TY - BOOK

T1 - Formal Analyses of Web Service Protocols

AU - Vighio, Saleem

PY - 2012/3

Y1 - 2012/3

M3 - Ph.D. thesis

T3 - Ph.D. thesis

BT - Formal Analyses of Web Service Protocols

CY - Aalborg

ER -

Vighio S. Formal Analyses of Web Service Protocols. Aalborg, 2012. 224 p. (Ph.D. thesis; No. 70).