Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. Symbolic Model Checking with Rich ssertional Languages. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 424-435, Springer, 1997.
Abstract is missing.