Lisa McIlwain

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski: Efficient equivalence checking with partitions and hierarchical cut-points. DAC 2004: 539-542

	2004
1		Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski: Efficient equivalence checking with partitions and hierarchical cut-points. DAC 2004: 539-542

Coauthor Index