DMCA

Symbolic model checking with rich assertional languages (1997)

by Y. Kesten , O. Maler , M. Marcus , A. Pnueli , E. Shahar
Venue:THEORETICAL COMPUTER SCIENCE
Citations:120 - 4 self