Automated verification of shape, size and bag properties

10.1109/ICECCS.2007.17

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40463
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40463
record_format	dspace
spelling	sg-nus-scholar.10635-404632023-10-30T08:25:05Z Automated verification of shape, size and bag properties Chin, W.-N. David, C. Nguyen, H.H. Qin, S. COMPUTER SCIENCE 10.1109/ICECCS.2007.17 Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 307-317 2013-07-04T08:04:53Z 2013-07-04T08:04:53Z 2007 Conference Paper Chin, W.-N., David, C., Nguyen, H.H., Qin, S. (2007). Automated verification of shape, size and bag properties. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 307-317. ScholarBank@NUS Repository. https://doi.org/10.1109/ICECCS.2007.17 0769528953 http://scholarbank.nus.edu.sg/handle/10635/40463 000248574000032 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1109/ICECCS.2007.17
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. David, C. Nguyen, H.H. Qin, S.
format	Conference or Workshop Item
author	Chin, W.-N. David, C. Nguyen, H.H. Qin, S.
spellingShingle	Chin, W.-N. David, C. Nguyen, H.H. Qin, S. Automated verification of shape, size and bag properties
author_sort	Chin, W.-N.
title	Automated verification of shape, size and bag properties
title_short	Automated verification of shape, size and bag properties
title_full	Automated verification of shape, size and bag properties
title_fullStr	Automated verification of shape, size and bag properties
title_full_unstemmed	Automated verification of shape, size and bag properties
title_sort	automated verification of shape, size and bag properties
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40463
_version_	1781411090413912064

Automated verification of shape, size and bag properties

Similar Items