Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten. From POOSL to UPPAAL: Transformation and Quantitative Analysis. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 47-56, IEEE Computer Society, 2010. [doi]
@inproceedings{XingTLPTV10-0,
title = {From POOSL to UPPAAL: Transformation and Quantitative Analysis},
author = {Jiansheng Xing and Bart D. Theelen and Rom Langerak and Jaco van de Pol and Jan Tretmans and Jeroen Voeten},
year = {2010},
doi = {10.1109/ACSD.2010.21},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.21},
tags = {analysis, transformation},
researchr = {https://researchr.org/publication/XingTLPTV10-0},
cites = {0},
citedby = {0},
pages = {47-56},
booktitle = {10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010},
editor = {Luís Gomes and Victor Khomenko and João M. Fernandes},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4066-5},
}