7 Tesla quantitative hip MRI: a comparison between TESS and CPMG for T2 mapping
- 期刊名称Magnetic Resonance Materials in Physics, Biology and Medicine
- 作者Kraff, Oliver; Lazik-Palm, Andrea; Heule, Rahel; Theysohn, Jens M.; Bieri, Oliver; Quick, Harald H.
- 卷第29卷
- 期第3期
- 印刷ISSN0968-5243
- 电子ISSN1352-8661
- 文件大小7587.55KB
- 发表时间2016-6
- DOI10.1007/s10334-016-0557-0
- 页码503-512
Algorithmic program synthesis: introductionBodik, Rastislav; Jobstmann, Barbara · International Journal on Software Tools for Technology Transfer · 2013
Bounded synthesisFinkbeiner, Bernd; Schewe, Sven · International Journal on Software Tools for Technology Transfer · 2013
Program sketchingSolar-Lezama, Armando · International Journal on Software Tools for Technology Transfer · 2013
Synthesis from component librariesLustig, Yoad; Vardi, Moshe Y. · International Journal on Software Tools for Technology Transfer · 2013
Tools for software verificationParosh Aziz Abdulla,K. Rustan M. Leino · International Journal on Software Tools for Technology Transfer · 2013
UppaalSMC tutorialDavid, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted · International Journal on Software Tools for Technology Transfer · 2015
SPARK 2014 and GNATproveHoang, Duc; Moy, Yannick; Wallenburg, Angela; Chapman, Roderick · International Journal on Software Tools for Technology Transfer · 2014
VerifyThis 2012Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary · International Journal on Software Tools for Technology Transfer · 2015