DaftarIsitemplate

Call Number

004 Lec

Title

Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252

Author

Zohar Manna; Amir Pneuli;

Publisher

Springer, 1981

Subject

Location