Cite
APA Citation
Ryckbosch, F., Diwan, A., Ranjan, R., Buyya, R., Leitner, P., Haller, A., & Tai, S. (2014). analyzing performance traces using temporal formulas. Software, practice & experience, 44, 777–792. http://access.bl.uk/ark:/81055/vdc_100024864785.0x000056