Generating C# programs from CSP# models

10.1109/ICSTW.2013.10

Saved in:

Bibliographic Details
Main Authors:	Zhu, H., Dong, J.S., Wadhwa, B., Lin, S.-W.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2014
Subjects:	CSP# Model Checking Multi-threaded Programming
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/78160
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-78160
record_format	dspace
spelling	sg-nus-scholar.10635-781602023-10-31T20:11:54Z Generating C# programs from CSP# models Zhu, H. Dong, J.S. Wadhwa, B. Lin, S.-W. COMPUTER SCIENCE TEMASEK LABORATORIES CSP# Model Checking Multi-threaded Programming 10.1109/ICSTW.2013.10 Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 21-26 2014-07-04T03:13:06Z 2014-07-04T03:13:06Z 2013 Conference Paper Zhu, H., Dong, J.S., Wadhwa, B., Lin, S.-W. (2013). Generating C# programs from CSP# models. Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 : 21-26. ScholarBank@NUS Repository. https://doi.org/10.1109/ICSTW.2013.10 http://scholarbank.nus.edu.sg/handle/10635/78160 000332185600006 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	CSP# Model Checking Multi-threaded Programming
spellingShingle	CSP# Model Checking Multi-threaded Programming Zhu, H. Dong, J.S. Wadhwa, B. Lin, S.-W. Generating C# programs from CSP# models
description	10.1109/ICSTW.2013.10
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Zhu, H. Dong, J.S. Wadhwa, B. Lin, S.-W.
format	Conference or Workshop Item
author	Zhu, H. Dong, J.S. Wadhwa, B. Lin, S.-W.
author_sort	Zhu, H.
title	Generating C# programs from CSP# models
title_short	Generating C# programs from CSP# models
title_full	Generating C# programs from CSP# models
title_fullStr	Generating C# programs from CSP# models
title_full_unstemmed	Generating C# programs from CSP# models
title_sort	generating c# programs from csp# models
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78160
_version_	1781783844315201536

Generating C# programs from CSP# models

Similar Items