MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

by Hu, Alan J
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Martin, Andrew K...”

Cover Image

2

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Martin, Andrew K....”