nterface.

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

Published in: Formal Aspects Comput. (1999)

Keyphrases