Ten commandments of formal methods... ten years later
- 作者Bowen, J.P.; Hinchey, M.G.
- 卷第39卷
- 期第1期
- 印刷ISSN0018-9162
- 文件大小1010.01KB
- 发表时间2006
- DOI10.1109/mc.2006.35
- 页码40-48
Über die metabolische AlkaloseBerning, Heinrich; Rausch-Stroomann, Jan-Gerrit; Sauer, Heinrich · DMW - Deutsche Medizinische Wochenschrift · 1958
Neuere Untersuchungen am freiwillig hungernden MenschenWolfgang Vollmer; Heinrich Berning · 1952
Untersuchungen zur Pathogenese der tropischen MyokarditisHeinrich Berning · 1953
Die EiweissmangelanämieHeinrich Berning · 1947
Hypokaliämie als ObstipationsursacheDörken, Horst; Berning, Heinrich · DMW - Deutsche Medizinische Wochenschrift · 1957
Hunger als Ursache der LeberzirrhoseBerning, Heinrich · DMW - Deutsche Medizinische Wochenschrift · 1951
Pathologie und Therapie des Wasser- und ElektrolythaushaltesBerning, Heinrich · Digestion · 1958
Das hepatozelluläre KarzinomGreten, T; Manns, M · DMW - Deutsche Medizinische Wochenschrift · 2008
MyokarditisSchultheiss, H.-P; Kühl, U · DMW - Deutsche Medizinische Wochenschrift · 2008
Die Yersiniosis in DeutschlandHein, J.; Knauff, H. · DMW - Deutsche Medizinische Wochenschrift · 1978
Herpes gestationisScherer, R.; Wolff, H. H.; Braun-Falco, O. · DMW - Deutsche Medizinische Wochenschrift · 1977
Nierentransplantation bei maligner Nephrosklerose <sup>*</sup>Altrogge, G.; Grabensee, B.; Hofmann, K.; Risler, T.; Wagner, W. · DMW - Deutsche Medizinische Wochenschrift · 1977
Pneumonie als Todesursache bei KindernSimon, C.; Lange, C.; Harms, D. · DMW - Deutsche Medizinische Wochenschrift · 1975
Diabetesdiagnostik in der SchwangerschaftHeisig, N. · DMW - Deutsche Medizinische Wochenschrift · 1971
Hämatologische Befunde bei AlkoholismusHeck, J. · DMW - Deutsche Medizinische Wochenschrift · 1971