Dr. Gerhard Schellhorn https://www.uni-augsburg.de/de/fakultaet/fai/isse/prof/swtse/team/schellhorn/
Verification of B+ trees by integration of shape analysis and interactive theorem
Verification of B+ trees by integration of shape analysis and interactive theorem
gepflegt *: nein ja Falls ja, in folgendem Umfang:: Im Rahmen des SchauspielPat-P.
Bons/P. Pouchelle (Hg.), The Psalms of Solomon.
B) Proteasomal degradation of HIF-1α in wounds of the dorsal skin assessed by HIF1
Conference on Human Factors in Computing Systems, Honolulu, HI, USA, May 11-16, 2024(p.
P.; Kim, Hyun-Seok; Kim, Tae-Kyung; Ryu, Daun; Liang, Jingjing (2024): Mapping planted
P. van den Heuvel, Robert I. Davis and Moris Behnam. 2017.