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.
@inproceedings{CicirelliFNP13-0,
title = {Modelling Java Concurrency: An Approach and a Uppaal Library},
author = {Franco Cicirelli and Angelo Furfaro and Libero Nigro and Francesco Pupo},
year = {2013},
researchr = {https://researchr.org/publication/CicirelliFNP13-0},
cites = {0},
citedby = {0},
pages = {1361-1368},
booktitle = {Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki},
}