@article{sebih-2015-udp-ijnc,
  author    = {Nazim Sebih and
               Masami Hagiya and
               Franz Weitl and
               Mitsuharu Yamamoto and
               Cyrille Artho and
               Yoshinori Tanabe},
  title     = {Software Model Checking of UDP-based Distributed Applications},
  journal   = {{IJNC}},
  volume    = {5},
  number    = {2},
  pages     = {373--402},
  year      = {2015},
}