Model checking distributed systems by combining caching and process checkpointing.

Details

Language :

English

ISBNs :

9781457716386

Database :

Complementary Index

Journal :

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Publication Type :

Conference

Accession number :

80265697

Full Text :

https://doi.org/10.1109/ASE.2011.6100043