State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction
From MaRDI portal
Publication:2926661
DOI10.1007/978-3-642-35873-9_30zbMath1426.68026OpenAlexW52213268MaRDI QIDQ2926661
Yang Liu, Jun Sun, Yu Gu, Jin-Song Dong, Manchun Zheng, David Sanán
Publication date: 3 November 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://ink.library.smu.edu.sg/sis_research/5011
Related Items