Symbolic model checking with rich assertional languages (1997)

by Y. Kesten , O. Maler , M. Marcus , A. Pnueli , E. Shahar
Venue:Theoretical Computer Science
Citations:89 - 4 self