LC control no. | n 95072727 |
---|---|
Personal name heading | Steffen, Bernhard |
Found in | Reactive, generative, and stratified models of probabilistic processes, 1994: t.p. (Bernhard Steffen) p. 1 (Inst. für Math. und Inform., Univ. Passau, Passau, Germany) Correct system design, 1999: CIP t.p. (Bernhard Steffen) data sheet (b. May 31, 1958) |