Travelled to:
1 × Canada
Collaborated with:
M.Young
Talks about:
reachabl (1) composit (1) process (1) analysi (1) algebra (1) use (1)
Person: Wei Jen Yeh
DBLP: Yeh:Wei_Jen
Contributed to:
Wrote 1 papers:
- TAV-1991-YehY #algebra #analysis #composition #process #reachability #using
- Compositional Reachability Analysis Using Process Algebra (WJY, MY), pp. 49–59.