谷津, 弘一
VIAF ID: 257684064 (Personal)
Permalink: http://viaf.org/viaf/257684064
Preferred Forms
- 100 1 _ ‡a 谷津, 弘一
- 100 1 _ ‡a 谷津, 弘一
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Principles of the Spin model checker. | |
SPINモデル検查入門 | |
supin moderu kensa nyūmon |