International Journal of Networking and Computing
Journal Content
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Font Size
ISSN 2185-2839 (print)
ISSN 2185-2847 (online)
Home
About
Login
Search
Current
Archives
Announcements
Submission
Links
Indexing
Editorial Team
Home
>
Search
>
Author Details
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
ISSN: 2185-2847