Yan Ma, Zining Cao, Yang Liu. A specification with performance evaluation for probabilistic timed automata. In Tianrui Li, Luis Martínez-López, Yun Li, editors, 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017. pages 1-8, IEEE, 2017. [doi]
@inproceedings{MaCL17,
title = {A specification with performance evaluation for probabilistic timed automata},
author = {Yan Ma and Zining Cao and Yang Liu},
year = {2017},
doi = {10.1109/ISKE.2017.8258788},
url = {https://doi.org/10.1109/ISKE.2017.8258788},
researchr = {https://researchr.org/publication/MaCL17},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017},
editor = {Tianrui Li and Luis Martínez-López and Yun Li},
publisher = {IEEE},
isbn = {978-1-5386-1829-5},
}