ebook img

Temporal Verification of Reactive Systems: Safety PDF

524 Pages

1995

23.934 MB

English

by Zohar Manna, Amir Pnueli

Checking for file health...

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.