@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={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={To appear.},
key={}
}