![](/img/cover-not-exists.png)
[IEEE Comput. Soc IEEE International Symposium on Parallel and Distributed Processing - San Francisco, CA, USA (23-27 April 2001)] Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001 - A formal model of the java multithreading system and its validation on a known problem
Chaumette, S., Ugarte, A.Year:
2001
Language:
english
DOI:
10.1109/ipdps.2001.925134
File:
PDF, 123 KB
english, 2001