Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi 0001. UPPAAL - present and future. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 2881-2886, IEEE, 2001. [doi]
@inproceedings{BehrmannLMDPY01,
title = {UPPAAL - present and future},
author = {Gerd Behrmann and Kim G. Larsen and Oliver Möller and Alexandre David and Paul Pettersson and Wang Yi 0001},
year = {2001},
doi = {10.1109/.2001.980713},
url = {https://doi.org/10.1109/.2001.980713},
researchr = {https://researchr.org/publication/BehrmannLMDPY01},
cites = {0},
citedby = {0},
pages = {2881-2886},
booktitle = {40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001},
publisher = {IEEE},
isbn = {0-7803-7061-9},
}