@inproceedings{stoller03optimistic,
author="Scott D. Stoller and Ernie Cohen",
title="Optimistic Synchronization-Based State-Space Reduction",
booktitle="Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
editor="H. Garavel and J. Hatcliff",
year=2003,
month=apr,
series="Lecture Notes in Computer Science",
volume=2619,
pages="489-504",
publisher="Springer-Verlag"
}