Old Web
English
Sign In
Acemap
>
authorDetail
>
Masushi Enshoiwa
Masushi Enshoiwa
Program slicing
Programming language
Model checking
Computer science
Graph
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Model Checking with Program Slicing Based on Variable Dependence Graphs
2012
Masahiro Matsubara
Kohei Sakurai
Fumio Narisawa
Masushi Enshoiwa
Yoshio Yamane
Hisamitsu Yamanaka
Show All
Source
Cite
Save
Citations (0)
1