Travelled to:
1 × Austria
Collaborated with:
J.M.Atlee N.A.Day J.Niu
Talks about:
templat (1) semant (1) smv (1) map (1)
Person: Yun Lu
DBLP: Lu:Yun
Contributed to:
Wrote 1 papers:
- ASE-2004-LuADN #semantics
- Mapping Template Semantics to SMV (YL, JMA, NAD, JN), pp. 320–325.