Publication
-
January 1990
-
EULER: an adaptive Euler code Tech Report
January 1990
-
Logging and recovery in PRISMA Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
SmartCash: a practical electronic payment system Tech Report
January 1990 -
The linear time - branching time spectrum Tech Report
January 1990