Statistics
Publications
1
Citations
10
H-Index
1
Active since
2014
Affiliations
Tokyo Institute of Technology(Current)
Naoki Egawa is an author at Tokyo Institute of Technology specializing in formal methods, reactive systems, and algorithms.
Publications per year
2014–2014
1
1
Minimal strongly unsatisfiable subsets of reactive system specifications
Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa et al. · 2014 · 10 citations · Full text
1–1 of 1