Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Software model checking for distributed systems with selector-based, non-blocking communication
ASE, 2013.
@inproceedings{ASE-2013-ArthoHPTWY,
author = "Cyrille Artho and Masami Hagiya and Richard Potter and Yoshinori Tanabe and Franz Weitl and Mitsuharu Yamamoto",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693077",
pages = "169--179",
publisher = "{IEEE}",
title = "{Software model checking for distributed systems with selector-based, non-blocking communication}",
year = 2013,
}