Lisa McIlwain

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski
Efficient equivalence checking with partitions and hierarchical cut-points. DAC (2004)