Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti. Partial Model Checking with ROBDDs. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 35-49, Springer, 1997.
Abstract is missing.