Modelling Java Concurrency: An Approach and a Uppaal Library.

Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo

Browse the full FedCSIS paper archive.