Transformations between CSP# and C#

Ph.D

Saved in:

Bibliographic Details
Main Author:	ZHU HUIQUAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2014
Subjects:	Formal Verification, Model Checking, Concurrent Systems, CSP#, C#
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/53647
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-53647
record_format	dspace
spelling	sg-nus-scholar.10635-536472015-01-13T08:53:55Z Transformations between CSP# and C# ZHU HUIQUAN COMPUTER SCIENCE DONG JIN SONG Formal Verification, Model Checking, Concurrent Systems, CSP#, C# Ph.D DOCTOR OF PHILOSOPHY 2014-05-31T18:01:09Z 2014-05-31T18:01:09Z 2013-07-11 Thesis ZHU HUIQUAN (2013-07-11). Transformations between CSP# and C#. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/53647 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Formal Verification, Model Checking, Concurrent Systems, CSP#, C#
spellingShingle	Formal Verification, Model Checking, Concurrent Systems, CSP#, C# ZHU HUIQUAN Transformations between CSP# and C#
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE ZHU HUIQUAN
format	Theses and Dissertations
author	ZHU HUIQUAN
author_sort	ZHU HUIQUAN
title	Transformations between CSP# and C#
title_short	Transformations between CSP# and C#
title_full	Transformations between CSP# and C#
title_fullStr	Transformations between CSP# and C#
title_full_unstemmed	Transformations between CSP# and C#
title_sort	transformations between csp# and c#
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/53647
_version_	1681084186000097280

Similar Items