DMCA

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

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