Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Masami Hagiya
3saa-06 Gel-Based Molecular Robots and Their Computational Models(Development of Molecular Robots Equipped With Sensors and Intelligence,Symposium,The 52th Annual Meeting of the Biophysical Society of Japan(BSJ2014))
Seibutsu Butsuri
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Model Checking of Networked Applications
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Tools and Techniques for Model Checking Networked Programs
Verifying Networked Programs Using a Model Checker Extension
