@inproceedings{SBL+99a,
title = {Divide, abstract and model-check },
author = {Stahl, Karsten and Baukus, Kai and Lakhnech, Yassine and Steffen, Martin},
year = {1999},
booktitle = {Proceedings of the 5th International SPIN Workshop on Theoretical Aspects of Model Checking},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {1680},
team = {DCS},
}
