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.

Modelling Java Concurrency: An Approach and a Uppaal Library

Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo. Modelling Java Concurrency: An Approach and a Uppaal Library. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013. pages 1361-1368, 2013.

Authors

Franco Cicirelli

This author has not been identified. Look up 'Franco Cicirelli' in Google

Angelo Furfaro

This author has not been identified. Look up 'Angelo Furfaro' in Google

Libero Nigro

This author has not been identified. Look up 'Libero Nigro' in Google

Francesco Pupo

This author has not been identified. Look up 'Francesco Pupo' in Google
runs on