Software Model Checking of UDP-based Distributed Applications
Nazim Sebih
◽
Franz Weitl
◽
Cyrille Artho
◽
Masami Hagiya
◽
Yoshinori Tanabe
◽
...
2015 ◽
Vol 5
(2)
◽
pp. 373-402
◽
Nazim Sebih
◽
Masami Hagiya
◽
Franz Weitl
◽
Mitsuharu Yamamoto
◽
Cyrille Artho
◽
...
2016 ◽
Vol 51
(8)
◽
pp. 1-2
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
2008 ◽
Vol 43
(10)
◽
pp. 493-504
◽
Michael Roberson
◽
Melanie Harries
◽
Paul T. Darga
◽
Chandrasekhar Boyapati
Min Young Nam
◽
Sagar Chaki
◽
Lui Sha
◽
Cheolgi Kim
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
2006 ◽
Vol 157
(1)
◽
pp. 77-94
Murray Stokely
◽
Sagar Chaki
◽
Joël Ouaknine
Andreas Podelski
◽
Andrey Rybalchenko
Dawson Engler
◽
Madanlal Musuvathi