Items where Author is "Barrett, C."
Up a level
Group by: Type | No Grouping
Number of items: 2.
Curzen, N., Nicholas, Z., Stuart, B. (2021). Fractional flow reserve derived from computed tomography coronary angiography in the assessment and management of stable chest pain: the FORECAST randomized trial. European Heart Journal, 42(37), pp. 3844-3852. doi: 10.1093/eurheartj/ehab444
Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M. (2019).
Invertibility Conditions for Floating-Point Formulae.
In: Dillig, I. & Tasiran, S. (Eds.),
Computer Aided Verification. CAV 2019.