Peter Baumgartner 0001, Dorothea Schäfer. Model Elimination with Simplification and its Application to Software Verification. In Rudolf Berghammer, Yassine Lakhnech, editors, Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998. Advances in computing science, pages 18-32, Springer, 1998. [doi]
Abstract is missing.