Report Number: CS-TR-99-1625
Institution: Stanford University, Department of Computer Science
Title: Pleiades Project: Collected Work 1998-1999
Author: Cervesato, Iliano (editor)
Author: Mitchell, John C. (editor)
Date: August 1999
Abstract: This report collects the papers that were written by the participants of the Pleiades Project and their collaborators from September 1998 to August 1999. Its intent is to give the reader an overview of our accomplishments during this central phase of the project. Therefore, rather than including complete publications, we chose to reproduce only the first four pages of each paper. The papers can be integrally retrieved from the World-Wide Web through the provided URLs. A list of the current publications of the Pleiades Project is accessible at the URL http://theory.stanford.edu/muri/papers.html". Future articles will be posted there as they become available.
http://i.stanford.edu/pub/cstr/reports/cs/tr/99/1625/CS-TR-99-1625.pdf