DaftarIsitemplate

Call Number

005.16 Bit f

Title

A labelled transition system for calculus( LNCS-Lecture Notes in Computer Science 1214), Hal. 321-344

Author

Franck Van Breugel;

Publisher

Springer, 1997

Subject

Location