Model checking CSP revisited: Introducing a process analysis toolkit

10.1007/978-3-540-88479-8-22

Saved in:

Bibliographic Details
Main Authors:	Sun, J., Liu, Y., Dong, J.S.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40017
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40017
record_format	dspace
spelling	sg-nus-scholar.10635-400172015-01-15T08:08:23Z Model checking CSP revisited: Introducing a process analysis toolkit Sun, J. Liu, Y. Dong, J.S. COMPUTER SCIENCE 10.1007/978-3-540-88479-8-22 Communications in Computer and Information Science 17 CCIS 307-322 2013-07-04T07:54:48Z 2013-07-04T07:54:48Z 2008 Conference Paper Sun, J.,Liu, Y.,Dong, J.S. (2008). Model checking CSP revisited: Introducing a process analysis toolkit. Communications in Computer and Information Science 17 CCIS : 307-322. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-540-88479-8-22" target="_blank">https://doi.org/10.1007/978-3-540-88479-8-22</a> 3540884785 18650929 http://scholarbank.nus.edu.sg/handle/10635/40017 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-540-88479-8-22
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Sun, J. Liu, Y. Dong, J.S.
format	Conference or Workshop Item
author	Sun, J. Liu, Y. Dong, J.S.
spellingShingle	Sun, J. Liu, Y. Dong, J.S. Model checking CSP revisited: Introducing a process analysis toolkit
author_sort	Sun, J.
title	Model checking CSP revisited: Introducing a process analysis toolkit
title_short	Model checking CSP revisited: Introducing a process analysis toolkit
title_full	Model checking CSP revisited: Introducing a process analysis toolkit
title_fullStr	Model checking CSP revisited: Introducing a process analysis toolkit
title_full_unstemmed	Model checking CSP revisited: Introducing a process analysis toolkit
title_sort	model checking csp revisited: introducing a process analysis toolkit
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40017
_version_	1681082195450527744

Model checking CSP revisited: Introducing a process analysis toolkit

Similar Items