DaftarIsitemplate

Call Number

004 Lec

Title

Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199

Author

Leslie Lamport 1;

Publisher

Springer, 1981

Subject

Location