External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formal Model of Resource Sharing Conicts in Multithreaded Java

Nadezhda Baklanova, Martin Strecker. A Formal Model of Resource Sharing Conicts in Multithreaded Java. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, editors, Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013. Volume 1000 of CEUR Workshop Proceedings, pages 550-564, CEUR-WS.org, 2013. [doi]

Authors

Nadezhda Baklanova

This author has not been identified. Look up 'Nadezhda Baklanova' in Google

Martin Strecker

This author has not been identified. It may be one of the following persons: Look up 'Martin Strecker' in Google
runs on