Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Verifying Networked Programs Using a Model Checker Extension
