Model checking parameterized process classes

Master's

Saved in:

Bibliographic Details
Main Author:	LIU SHANSHAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Model checking, Parameterization, Process classes
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/16288
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-16288
record_format	dspace
spelling	sg-nus-scholar.10635-162882024-10-24T18:47:45Z Model checking parameterized process classes LIU SHANSHAN COMPUTER SCIENCE ABHIK ROYCHOUDHURY Model checking, Parameterization, Process classes Master's MASTER OF SCIENCE 2010-04-08T11:03:08Z 2010-04-08T11:03:08Z 2009-07-23 Thesis LIU SHANSHAN (2009-07-23). Model checking parameterized process classes. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/16288 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Model checking, Parameterization, Process classes
spellingShingle	Model checking, Parameterization, Process classes LIU SHANSHAN Model checking parameterized process classes
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LIU SHANSHAN
format	Theses and Dissertations
author	LIU SHANSHAN
author_sort	LIU SHANSHAN
title	Model checking parameterized process classes
title_short	Model checking parameterized process classes
title_full	Model checking parameterized process classes
title_fullStr	Model checking parameterized process classes
title_full_unstemmed	Model checking parameterized process classes
title_sort	model checking parameterized process classes
publishDate	2010
url	https://scholarbank.nus.edu.sg/handle/10635/16288
_version_	1821202632983707648

Similar Items