Kazunori Matsumoto

Author Info

Publications (1 rows)

Collaborators (4 rows)

Referers (6 rows)

Referees (16 rows)

Title	Citations	PageRank	Year
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design	4	0.43	1989