Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Software Model Checking of UDP-based Distributed Applications. In Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014. pages 96-105, IEEE, 2014. [doi]
@inproceedings{SebihWAHTY14,
title = {Software Model Checking of UDP-based Distributed Applications},
author = {Nazim Sebih and Franz Weitl and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto},
year = {2014},
doi = {10.1109/CANDAR.2014.66},
url = {http://dx.doi.org/10.1109/CANDAR.2014.66},
researchr = {https://researchr.org/publication/SebihWAHTY14},
cites = {0},
citedby = {0},
pages = {96-105},
booktitle = {Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014},
publisher = {IEEE},
isbn = {978-1-4799-4152-0},
}