CITATION STYLE
Amnell, T., Behrmann, G., Bengtsson, J., D’Argenio, P. R., David, A., Fehnker, A., … Yi, W. (2001). UPPAAL - Now, Next, and Future (pp. 99–124). https://doi.org/10.1007/3-540-45510-8_4
Mendeley helps you to discover research relevant for your work.