Travelled to:
1 × Sweden
Collaborated with:
S.Hagihara M.Shimakawa N.Yonezaki
Talks about:
unsatisfi (1) reactiv (1) system (1) subset (1) strong (1) specif (1) minim (1)
Person: Naoki Egawa
DBLP: Egawa:Naoki
Contributed to:
Wrote 1 papers:
- ASE-2014-HagiharaESY #satisfiability #set #specification
- Minimal strongly unsatisfiable subsets of reactive system specifications (SH, NE, MS, NY), pp. 629–634.