2004 | ||
---|---|---|
2 | EE | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato: Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS 2004: 7-21 |
1988 | ||
1 | Hiroyasu Chimura, Hiroshi Kato, Hiroyuki Mitani, Takahiro Sato: Contextual Structure Analysis of Microcomputer Manuals. BCS HCI 1988: 257-274 |
1 | Hiroyasu Chimura | [1] |
2 | Masami Hagiya | [2] |
3 | Hiroshi Kato | [1] |
4 | Hiroyuki Mitani | [1] |
5 | Koichi Takahashi | [2] |
6 | Mitsuharu Yamamoto | [2] |