Yoshio Okamura

2007
2		Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings Springer 2007
1990
1	EE	Goro Suzuki, Yoshio Okamura: A Practical Online Design Rule Checking System. DAC 1990: 246-252

Coauthor Index

1	Teruo Higashino	[2]
2	Kedar S. Namjoshi	[2]
3	Goro Suzuki	[1]
4	Tomohiro Yoneda	[2]

Colors in the list of coauthors