Travelled to:
1 × Germany
Collaborated with:
A.E.Casavant A.Gupta S.Liu K.Wakabayashi P.Ashar
Talks about:
properti (1) generat (1) specif (1) simul (1) graph (1) guid (1) wit (1)
Person: Akira Mukaiyama
DBLP: Mukaiyama:Akira
Contributed to:
Wrote 1 papers:
- DATE-2001-CasavantGLMWA #generative #graph #simulation
- Property-specific witness graph generation for guided simulation (AEC, AG, SL, AM, KW, PA), p. 799.