Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs

✍ Scribed by Iyer, S.; Ramesh, S.

• Book ID: 117872498
• Publisher: IEEE
• Year: 2001
• Tongue: English
• Weight: 560 KB
• Volume: 27
• Category: Article
• ISSN: 0098-5589
• DOI: 10.1109/32.965343