FORMAL ANALYSIS OF WEB SERVICE COMPOSITION

Ph.D

Saved in:

Bibliographic Details
Main Author:	CHEN MANMAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2015
Subjects:	Web Service, Web Service Composition, Model Checking, Formal Verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/121355
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-121355
record_format	dspace
spelling	sg-nus-scholar.10635-1213552015-11-01T22:46:44Z FORMAL ANALYSIS OF WEB SERVICE COMPOSITION CHEN MANMAN COMPUTER SCIENCE DONG JIN SONG Web Service, Web Service Composition, Model Checking, Formal Verification Ph.D DOCTOR OF PHILOSOPHY 2015-10-31T18:00:33Z 2015-10-31T18:00:33Z 2015-05-05 Thesis CHEN MANMAN (2015-05-05). FORMAL ANALYSIS OF WEB SERVICE COMPOSITION. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/121355 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Web Service, Web Service Composition, Model Checking, Formal Verification
spellingShingle	Web Service, Web Service Composition, Model Checking, Formal Verification CHEN MANMAN FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE CHEN MANMAN
format	Theses and Dissertations
author	CHEN MANMAN
author_sort	CHEN MANMAN
title	FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
title_short	FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
title_full	FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
title_fullStr	FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
title_full_unstemmed	FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
title_sort	formal analysis of web service composition
publishDate	2015
url	http://scholarbank.nus.edu.sg/handle/10635/121355
_version_	1681095741358997504

Similar Items