TY  - RPRT
TI  - The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research
AU  - Joseph Y. Halpern
AU  - Carl Lagoze
PY  - 1998
UR  - https://arxiv.org/abs/cs/9812020
ID  - cs/9812020
ER  -