Maren Krone

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich
Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. 22 (2/3) (1997)
Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich
Developing an Information System Using TROLL: An Application Field Study. CAiSE (1996)
Maren Krone, Gregor Snelting
On the Inference of Configuration Structures from Source Code. ICSE (1994)