Cite
HARVARD Citation
Al-Bataineh, O. et al. (2015). Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal aspects of computing. pp. 917-949. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Al-Bataineh, O. et al. (2015). Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal aspects of computing. pp. 917-949. [Online].