Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model checking distributed systems by combining caching and process checkpointing
ASE, 2011.
@inproceedings{ASE-2011-LeungwattanakitAHTY, author = "Watcharin Leungwattanakit and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto", booktitle = "{Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2011.6100043", isbn = "978-1-4577-1638-6", pages = "103--112", publisher = "{IEEE}", title = "{Model checking distributed systems by combining caching and process checkpointing}", year = 2011, }