Cardinality of UDP Transmission Outcomes. - Franz Weitl; Nazim Sebih; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Yoriyuki Yamagata; Mitsuharu Yamamoto (SETTA, 2015)

Software Model Checking of UDP-based Distributed Applications. - Nazim Sebih; Masami Hagiya; Franz Weitl; Mitsuharu Yamamoto; Cyrille Artho; Yoshinori Tanabe (Int. J. Netw. Comput., 2015)