Scalable multi-core model checking fairness enhanced systems

10.1007/978-3-642-10373-5_22

Saved in:

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

id	sg-nus-scholar.10635-40013
record_format	dspace
spelling	sg-nus-scholar.10635-400132015-01-12T20:15:10Z Scalable multi-core model checking fairness enhanced systems Liu, Y. Sun, J. Dong, J.S. COMPUTER SCIENCE 10.1007/978-3-642-10373-5_22 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5885 LNCS 426-445 2013-07-04T07:54:42Z 2013-07-04T07:54:42Z 2009 Conference Paper Liu, Y.,Sun, J.,Dong, J.S. (2009). Scalable multi-core model checking fairness enhanced systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5885 LNCS : 426-445. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-10373-5_22" target="_blank">https://doi.org/10.1007/978-3-642-10373-5_22</a> 3642103723 03029743 http://scholarbank.nus.edu.sg/handle/10635/40013 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-642-10373-5_22
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Liu, Y. Sun, J. Dong, J.S.
format	Conference or Workshop Item
author	Liu, Y. Sun, J. Dong, J.S.
spellingShingle	Liu, Y. Sun, J. Dong, J.S. Scalable multi-core model checking fairness enhanced systems
author_sort	Liu, Y.
title	Scalable multi-core model checking fairness enhanced systems
title_short	Scalable multi-core model checking fairness enhanced systems
title_full	Scalable multi-core model checking fairness enhanced systems
title_fullStr	Scalable multi-core model checking fairness enhanced systems
title_full_unstemmed	Scalable multi-core model checking fairness enhanced systems
title_sort	scalable multi-core model checking fairness enhanced systems
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40013
_version_	1681082194764759040

Scalable multi-core model checking fairness enhanced systems

Similar Items