DaftarIsitemplate

Call Number

004 Int c

Title

Methods for mu-calculus model checking: a tutorial, (LNCS-Lecture Notes in Computer Science 939) Hal 141

Author

E. A. Emerson;

Publisher

Springer, 1995

Subject

Location