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.
Abstract is missing.