Authors: KELLER JP PAIGE R

Citation: Jp. Keller et R. Paige, PROGRAM DERIVATION WITH VERIFIED TRANSFORMATIONS - A CASE-STUDY, Communications on pure and applied mathematics, 48(9-10), 1995, pp. 1053-1113

Authors: BILKEI G GOOS T KELLER JP BOLCSKEI A

Citation: G. Bilkei et al., IMPROVING THE RATE OF CONCEPTION WITH APP LICATION OF PG-F2-ALPHA ONE-DAY BEFORE WEANING OF THE SOW, Berliner und Munchener Tierarztliche Wochenschrift, 106(8), 1993, pp. 276-277

Authors: KELLER JP KNICKERBOCKER GG

Citation: Jp. Keller et Gg. Knickerbocker, AN INAPPROPRIATE RECOMMENDATION FOR MINIMIZING THE RISK OF PACEMAKER FAILURE DURING UNIPOLAR DIATHERMY, Anaesthesia, 48(9), 1993, pp. 825-825