DaftarIsitemplate

Call Number

004.33 Mal h

Title

Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1

Author

Amir Pnueli;

Publisher

Springer, 1999

Subject

Location