Travelled to:1 × Portugal
Collaborated with:G.Ciardo G.Lüttgen
Talks about:asynchron (1) reachabl (1) diagram (1) system (1) decis (1) check (1) bound (1) use (1)
Person: Andy Jinqing Yu
DBLP: Yu:Andy_Jinqing
Contributed to:
2007Wrote 1 papers:
- TACAS-2007-YuCL #bound #diagrams #reachability #using
- Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.