Travelled to:
1 × USA
Collaborated with:
D.Anastasakis S.Pilarski
Talks about:
hierarch (1) equival (1) partit (1) effici (1) point (1) check (1) cut (1)
Person: Lisa McIlwain
DBLP: McIlwain:Lisa
Contributed to:
Wrote 1 papers:
- DAC-2004-AnastasakisMP #equivalence #performance
- Efficient equivalence checking with partitions and hierarchical cut-points (DA, LM, SP), pp. 539–542.