Symbolic model checking with rich assertional languages (0)

by Y Kesten, O Maler, M Marcus, A Pnueli, E Shahar
Venue:Theor. Comput. Sci