@inproceedings{SBL+99b,
title = {Divide, Abstract, and Model-Check },
author = {Stahl, Karsten and Baukus, Kai and Lakhnech, Yassine and Steffen, Martin},
year = {1999},
booktitle = {Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings},
pages = {57-76},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1680},
team = {DCS},
}
