![](/img/cover-not-exists.png)
[IEEE 2014 Second International Symposium on Computing and Networking (CANDAR) - Shizuoka, Japan (2014.12.10-2014.12.12)] 2014 Second International Symposium on Computing and Networking - Software Model Checking of UDP-based Distributed Applications
Sebih, Nazim, Weitl, Franz, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, MitsuharuYear:
2014
Language:
english
DOI:
10.1109/CANDAR.2014.66
File:
PDF, 375 KB
english, 2014