Sciweavers

HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
14 years 4 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen