| DaftarIsitemplate |
| Call Number |
| 005.16 Bit f |
| Title |
| Modal characterization of weak bisimulation for higher-order processes extended abstract ( Lecture Notes in Computer Science 1214), Hal. 285-308 |
| Author |
| Michael Baldamus; Jurgen Dingel; |
| Publisher |
| Springer, 1997 |
| Subject |
| Location |