Author:
Artho Cyrille,Sommer Christian,Honiden Shinichi
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software Model Checking of UDP-based Distributed Applications;International Journal of Networking and Computing;2015
2. Using Checkpointing and Virtualization for Fault Injection;International Journal of Networking and Computing;2015
3. Using Checkpointing and Virtualization for Fault Injection;2014 Second International Symposium on Computing and Networking;2014-12
4. Software Model Checking of UDP-based Distributed Applications;2014 Second International Symposium on Computing and Networking;2014-12
5. Cache-Based Model Checking of Networked Applications: From Linear to Branching Time;2009 IEEE/ACM International Conference on Automated Software Engineering;2009-11