@inproceedings{PDD97,
author = "Seungjoon Park and Satyaki Das and David L. Dill", 
title = "Automatic Checking of Aggregation Abstractions Through State
Enumeration", 
Booktitle = "IFIP TC6/WG6.1 Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication
Protocols, and Protocol Specification, Testing, and Verification",
pages = "207--222",
Month = "November",
Year = 1997}