State space reduction for sensor networks using two-level partial order reduction

10.1007/978-3-642-35873-9_30

Saved in:

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

id	sg-nus-scholar.10635-78358
record_format	dspace
spelling	sg-nus-scholar.10635-783582024-11-08T16:40:53Z State space reduction for sensor networks using two-level partial order reduction Zheng, M. Sanań, D. Sun, J. Liu, Y. Dong, J.S. Gu, Y. COMPUTER SCIENCE 10.1007/978-3-642-35873-9_30 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7737 LNCS 515-535 2014-07-04T03:15:23Z 2014-07-04T03:15:23Z 2013 Conference Paper Zheng, M.,Sanań, D.,Sun, J.,Liu, Y.,Dong, J.S.,Gu, Y. (2013). State space reduction for sensor networks using two-level partial order reduction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7737 LNCS : 515-535. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-35873-9_30" target="_blank">https://doi.org/10.1007/978-3-642-35873-9_30</a> 9783642358722 16113349 http://scholarbank.nus.edu.sg/handle/10635/78358 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-35873-9_30
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Zheng, M. Sanań, D. Sun, J. Liu, Y. Dong, J.S. Gu, Y.
format	Conference or Workshop Item
author	Zheng, M. Sanań, D. Sun, J. Liu, Y. Dong, J.S. Gu, Y.
spellingShingle	Zheng, M. Sanań, D. Sun, J. Liu, Y. Dong, J.S. Gu, Y. State space reduction for sensor networks using two-level partial order reduction
author_sort	Zheng, M.
title	State space reduction for sensor networks using two-level partial order reduction
title_short	State space reduction for sensor networks using two-level partial order reduction
title_full	State space reduction for sensor networks using two-level partial order reduction
title_fullStr	State space reduction for sensor networks using two-level partial order reduction
title_full_unstemmed	State space reduction for sensor networks using two-level partial order reduction
title_sort	state space reduction for sensor networks using two-level partial order reduction
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78358
_version_	1821232412510650368

State space reduction for sensor networks using two-level partial order reduction

Similar Items