Title of article

On Verifying Distributed Multithreaded Java Programs

Author/Authors

Jessica Chen، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1999

Pages

21

From page

321

To page

341

Keywords

JAVA , model checking , Multithreading , Distributed system

Journal title

Software Quality Journal

Serial Year

1999

Journal title

Software Quality Journal

Record number

292763