DMCA

Simple On-the-fly Automatic Verification of Linear Temporal Logic (1995)

by R. Gerth , D. Peled , M. Y. Vardi , P. Wolper
Citations:327 - 29 self