Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Sami Evangelista, Laure Petrucci, Lars Michael Kristensen. Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 107-116, IEEE, 2022. [doi]

The following publications are possibly variants of this publication:

Multi-threaded Explicit State Space Exploration with State ReconstructionSami Evangelista, Lars Michael Kristensen, Laure Petrucci. ATVA 2013: 208-223 [doi]

runs on WebDSL