%0 Journal Article %1 journals/fac/Al-BatainehRF15 %A Al-Bataineh, Omar I. %A Reynolds, Mark %A French, Tim %D 2015 %J Formal Aspects Comput. %K dblp %N 5-6 %P 917-949 %T Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. %U http://dblp.uni-trier.de/db/journals/fac/fac27.html#Al-BatainehRF15 %V 27

@article{journals/fac/Al-BatainehRF15, added-at = {2022-05-09T00:00:00.000+0200}, author = {Al-Bataineh, Omar I. and Reynolds, Mark and French, Tim}, biburl = {https://www.bibsonomy.org/bibtex/2f0ce66e1772f7b665c7c1a9e65f7cf3b/dblp}, ee = {https://doi.org/10.1007/s00165-015-0340-4}, interhash = {d4eedfe9154d6349bcb44aac293228ee}, intrahash = {f0ce66e1772f7b665c7c1a9e65f7cf3b}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {5-6}, pages = {917-949}, timestamp = {2024-04-09T05:36:58.000+0200}, title = {Accelerating worst case execution time analysis of timed automata models with cyclic behaviour.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac27.html#Al-BatainehRF15}, volume = 27, year = 2015 }