@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={} }