Software Model Checking of UDP-based Distributed Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nazim Sebih' in GoogleThis author has not been identified. Look up 'Franz Weitl' in GoogleThis author has not been identified. Look up 'Cyrille Artho' in GoogleThis author has not been identified. Look up 'Masami Hagiya' in GoogleThis author has not been identified. Look up 'Yoshinori Tanabe' in GoogleThis author has not been identified. Look up 'Mitsuharu Yamamoto' in Google

runs on WebDSL