Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Watcharin Leungwattanakit
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
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