IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium):Formal VLSI specification and synthesis VLSI design methods.V.1.NHPC,1990.
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium):Formal VLSI specification and synthesis VLSI design methods.V.1
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.NHPC,1990.
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium):Formal VLSI specification and synthesis VLSI design methods.V.2.NHPC,1990.
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium):Formal VLSI specification and synthesis VLSI design methods.V.2
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.NHPC,1990.
International Workshop on Algorithms and Parallel VLSI Architectures.International Workshop on Algorithms and Parallel VLSI Architectures (1990 : Abbaye des Promontres):Algorithms and parallel VLSI architectures.V.2.Elsevier,1991.
International Workshop on Algorithms and Parallel VLSI Architectures.International Workshop on Algoritlms and Parallel VLSI Architectures(1990 : Abbaye des Premontres):Algorithms and parallel VLSI architectures.V.1.Elsevier,1991.
International Workshop on VLSI for artificial Intelligencec and Neural Networks.International Workshop on VLSI for artificial Intelligencec and Neural Networks (1990 : Oxfoed, England):VLSI for artificial intelligence and neural networks.Plenum Pub.,1991.
International Workshop on VLSI for artificial Intelligencec and Neural Networks (1990 : Oxfoed, England):VLSI for artificial intelligence and neural networks
International Workshop on VLSI for artificial Intelligencec and Neural Networks.Plenum Pub.,1991.
MIT Conference on Advanced Research in VLSI.MIT Conference on Advanced Research in VLSI (6th : 1990 : Cambridge):Advanced research in VLSI.MIT Pr.,1990.
IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration.IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (1987 : Canada):VLSI`87; VLSI design of digital systems; proceedings.NHPC,1987.