DaftarIsitemplate

Call Number

004 Lec

Title

A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138

Author

William P. de Roever;

Publisher

Springer, 1981

Subject

Location