DMCA

Algorithmic Verification of Linear Temporal Logic Specifications (1998)

Cached

Download Links

by Yonit Kesten , Amir Pnueli , Li-on Raviv
Venue:Proc. 25th Int. Colloq. Aut. Lang. Prog., volume 1443 of Lect. Notes in Comp. Sci
Citations:61 - 12 self