More anti-chain based refinement checking

10.1007/978-3-642-34281-3_26

Saved in:

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

id	sg-nus-scholar.10635-43179
record_format	dspace
spelling	sg-nus-scholar.10635-431792024-11-08T17:54:32Z More anti-chain based refinement checking Wang, T. Song, S. Sun, J. Liu, Y. Dong, J.S. Wang, X. Li, S. TEMASEK LABORATORIES COMPUTER SCIENCE 10.1007/978-3-642-34281-3_26 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7635 LNCS 364-380 2013-07-23T09:27:09Z 2013-07-23T09:27:09Z 2012 Conference Paper Wang, T.,Song, S.,Sun, J.,Liu, Y.,Dong, J.S.,Wang, X.,Li, S. (2012). More anti-chain based refinement checking. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7635 LNCS : 364-380. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-34281-3_26" target="_blank">https://doi.org/10.1007/978-3-642-34281-3_26</a> 9783642342806 03029743 http://scholarbank.nus.edu.sg/handle/10635/43179 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1007/978-3-642-34281-3_26
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Wang, T. Song, S. Sun, J. Liu, Y. Dong, J.S. Wang, X. Li, S.
format	Conference or Workshop Item
author	Wang, T. Song, S. Sun, J. Liu, Y. Dong, J.S. Wang, X. Li, S.
spellingShingle	Wang, T. Song, S. Sun, J. Liu, Y. Dong, J.S. Wang, X. Li, S. More anti-chain based refinement checking
author_sort	Wang, T.
title	More anti-chain based refinement checking
title_short	More anti-chain based refinement checking
title_full	More anti-chain based refinement checking
title_fullStr	More anti-chain based refinement checking
title_full_unstemmed	More anti-chain based refinement checking
title_sort	more anti-chain based refinement checking
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/43179
_version_	1821222472559624192

More anti-chain based refinement checking

Similar Items