Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge. ::::L::::<Omega>::::UI::::: ::::L::::ovely <Omega>MEGA ::::U::::ser ::::I::::nterface. Formal Asp. Comput., 11(3):326-342, 1999. [doi]
No reviews for this publication, yet.