Travelled to:
1 × The Netherlands
Collaborated with:
A.N.Parashkevov
Talks about:
reachabl (1) analysi (1) pseudo (1) effici (1) state (1) space (1) root (1) use (1)
Person: Jay Yantchev
DBLP: Yantchev:Jay
Contributed to:
Wrote 1 papers:
- TACAS-1997-ParashkevovY #analysis #performance #pseudo #reachability #using
- Space Efficient Reachability Analysis Through Use of Pseudo-Root States (ANP, JY), pp. 50–64.