@inproceedings{DD2001,
author = "Satyaki Das and David L. Dill",
title = "Successive Approximation of Abstract Transition Relations",
booktitle = "Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science",
year = "2001",
note = "June 2001, Boston, USA"}