@INPROCEEDINGS {12598,
author={AMP Pedro and P. Crocker and - Melo de Sousa},
doi={},
booktitle={International Symp. On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA},
title={Learning stochastic timed automata from sample executions},
year={2012},
month={October},
volume={10},
pages={1-15} 
}