Publication
-
Degas: A Database of Autonomous objects Article
Information Systems, 22(2-3), 121-138.April 1997
-
Computational steering Article
Future Generation Computer Systems, 12(5), 441-450.April 1997
-
April 1997
-
April 1997
-
April 1997 -
May 1997 -
Formal verification of a leader election protocol in process algebra Article
Chicago Journal of Theoretical Computer Science, 177(2), 459-486.May 1997
-
Lattice calculus of the morphological slope transform Article
Signal Processing, 59(1), 17-42.May 1997