@inproceedings{Stoller&99b,
author="Scott D. Stoller and Leena Unnikrishnan",
title="Automated Symbolic Timing Analysis for Distributed Systems",
booktitle="Proc.\ 5th Intl. Conference for Young Computer Scientists (ICYCS)",
publisher="International Academic Publishers",
address="Nanjing, China",
month=aug,
year=1999
}