PublicationsDomestic
Editing Books (in Japanese)
Research Center for Verification and Semantics, AIST, editors:
Learning Model Checking in Four Days
(4 日で学ぶモデル検査初級編).
NTS Press, ISBN–4–86043–119–7, June 2006.
(details)