Masahiro Matsubara (Hitachi

Identifiers

• name variant Masahiro Matsubara (Hitachi 0.60 · backfill

Papers (1)

1. Model Checking with Program Slicing Based on Variable Dependence Graphs cs.LO · 2013 · author #1

Mentions

• 1301.0041 #1 · backfill · confidence 0.70 Masahiro Matsubara (Hitachi

Frequent Coauthors

• Fumio Narisawa (Hitachi 1 shared papers
• Hisamitsu Yamanaka (Hitachi Automotive Systems 1 shared papers
• Inc.) 1 shared papers
• Kohei Sakurai (Hitachi 1 shared papers
• Ltd.) 1 shared papers
• Masushi Enshoiwa (Hitachi Advanced Digital 1 shared papers
• Yoshio Yamane (Hitachi Advanced Digital 1 shared papers