Object-Z / TCOZ and Timed automata; Projection and integration

Ph.D

Saved in:

Bibliographic Details
Main Author:	HAO PING
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Object-Z/TCOZ, Timed Automata, Projection, Integration
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/13095
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-13095
record_format	dspace
spelling	sg-nus-scholar.10635-130952017-10-21T09:35:51Z Object-Z / TCOZ and Timed automata; Projection and integration HAO PING COMPUTER SCIENCE DONG JIN SONG Object-Z/TCOZ, Timed Automata, Projection, Integration Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:29:53Z 2010-04-08T10:29:53Z 2008-02-08 Thesis HAO PING (2008-02-08). Object-Z / TCOZ and Timed automata; Projection and integration. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13095 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Object-Z/TCOZ, Timed Automata, Projection, Integration
spellingShingle	Object-Z/TCOZ, Timed Automata, Projection, Integration HAO PING Object-Z / TCOZ and Timed automata; Projection and integration
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE HAO PING
format	Theses and Dissertations
author	HAO PING
author_sort	HAO PING
title	Object-Z / TCOZ and Timed automata; Projection and integration
title_short	Object-Z / TCOZ and Timed automata; Projection and integration
title_full	Object-Z / TCOZ and Timed automata; Projection and integration
title_fullStr	Object-Z / TCOZ and Timed automata; Projection and integration
title_full_unstemmed	Object-Z / TCOZ and Timed automata; Projection and integration
title_sort	object-z / tcoz and timed automata; projection and integration
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/13095
_version_	1681078799093989376

Object-Z / TCOZ and Timed automata; Projection and integration

Similar Items