Inproceedings,

Model checking distributed systems by combining caching and process checkpointing.

, , , , and .
ASE, page 103-112. IEEE Computer Society, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews