Author Details

Sebih, Nazim, The University of Tokyo

  • Vol 5, No 2 (2015) - Special Issue on the Second International Symposium on Computing and Networking
    Software Model Checking of UDP-based Distributed Applications
    Abstract  PDF