DMCA

The ForSpec Temporal Logic: A New Temporal Property-Specification Language (2001)

Cached

Download Links

by Roy Armoni , Limor Fix , Alon Flaisher , Rob Gerth , Boris Ginsburg , Tomer Kanza , Avner Landver , Sela Mador-haim , Eli Singerman , Andreas Tiemeyer , Moshe Y. Vardi , Yael Zbar
Citations:90 - 22 self