Modelling Java concurrency: An approach and a UPPAAL library
| Title | Modelling Java concurrency: An approach and a UPPAAL library |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Cicirelli, F, Furfaro, A, Nigro, L, Pupo, F |
| Conference Name | 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013 |
| Pagination | 1373-1380 |