On combining state space reductions with global fairness assumptions

10.1007/978-3-642-21437-0_32

Saved in:

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

id	sg-nus-scholar.10635-43181
record_format	dspace
spelling	sg-nus-scholar.10635-431812024-11-08T17:54:23Z On combining state space reductions with global fairness assumptions Zhang, S.J. Sun, J. Pang, J. Liu, Y. Dong, J.S. TEMASEK LABORATORIES COMPUTER SCIENCE 10.1007/978-3-642-21437-0_32 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6664 LNCS 432-447 2013-07-23T09:27:12Z 2013-07-23T09:27:12Z 2011 Conference Paper Zhang, S.J.,Sun, J.,Pang, J.,Liu, Y.,Dong, J.S. (2011). On combining state space reductions with global fairness assumptions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6664 LNCS : 432-447. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-21437-0_32" target="_blank">https://doi.org/10.1007/978-3-642-21437-0_32</a> 9783642214363 03029743 http://scholarbank.nus.edu.sg/handle/10635/43181 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-21437-0_32
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Zhang, S.J. Sun, J. Pang, J. Liu, Y. Dong, J.S.
format	Conference or Workshop Item
author	Zhang, S.J. Sun, J. Pang, J. Liu, Y. Dong, J.S.
spellingShingle	Zhang, S.J. Sun, J. Pang, J. Liu, Y. Dong, J.S. On combining state space reductions with global fairness assumptions
author_sort	Zhang, S.J.
title	On combining state space reductions with global fairness assumptions
title_short	On combining state space reductions with global fairness assumptions
title_full	On combining state space reductions with global fairness assumptions
title_fullStr	On combining state space reductions with global fairness assumptions
title_full_unstemmed	On combining state space reductions with global fairness assumptions
title_sort	on combining state space reductions with global fairness assumptions
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/43181
_version_	1821184647207321600

On combining state space reductions with global fairness assumptions

Similar Items