@doctoralThesis{Mukhopadhyay_2000,
title={A uniform constraint-based framework for the verification of infinite state systems},
author={Mukhopadhyay, Supratik},
doi={http://dx.doi.org/10.22028/D291-25864},
year={2000}
}