![](/img/cover-not-exists.png)
[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Model checking distributed systems by combining caching and process checkpointing
Leungwattanakit, Watcharin, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, MitsuharuYear:
2011
Language:
english
DOI:
10.1109/ase.2011.6100043
File:
PDF, 490 KB
english, 2011