@InProceedings{CBGP08,
author={F. Ciesinski and C. Baier and M. Groesser and D. Parker},
title={Generating compact {MTBDD}-representations from {Probmela} specifications},
booktitle={Proc. 15th International SPIN Workshop on Model Checking of Software (SPIN'08)},
year={2008},

editor={},
pages={60-76},
organization={},
publisher={Springer},
series={LNCS},
volume={5156},
address={},
month={},
note={},
key={}
}