Satoshi Hattori

	2009
2		Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori: Detecting Regulatory Vulnerability in Functional Requirements Specifications. ICSOFT (1) 2009: 105-114
	1999
1		Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi: Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ICPP Workshops 1999: 576-581

Coauthor Index

1	Teruo Higashino	[1]
2	Haruhiko Kaiya	[2]
3	Kozo Okano	[1]
4	Motoshi Saeki	[2]
5	Kenichi Taniguchi	[1]
6	Akira Yamamoto	[1]

Colors in the list of coauthors