Luis María Ferrer Fioriti, Holger Hermanns. Heuristics for Probabilistic Timed Automata with Abstraction Refinement. In Jens B. Schmitt, editor, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Volume 7201 of Lecture Notes in Computer Science, pages 151-165, Springer, 2012. [doi]
@inproceedings{FioritiH12,
title = {Heuristics for Probabilistic Timed Automata with Abstraction Refinement},
author = {Luis María Ferrer Fioriti and Holger Hermanns},
year = {2012},
doi = {10.1007/978-3-642-28540-0_11},
url = {http://dx.doi.org/10.1007/978-3-642-28540-0_11},
researchr = {https://researchr.org/publication/FioritiH12},
cites = {0},
citedby = {0},
pages = {151-165},
booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
editor = {Jens B. Schmitt},
volume = {7201},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-28539-4},
}