Browse by Publisher

Group by: Item Type | Date | No Grouping

1994 1993 1992 1986 1985 1979

Number of items: 6.

1994

Waller, Winston A.J. and Aziz, S.M. (1994) A C-Testable Parallel Multipler Using Differencial Casecode Voltage Swish (DCVS) Logic. In: Yanagawa, T. and Ivey, P.A., eds. VLSI 93 - IFIP Transactions A. Computer Science and Technology. North Holland, pp. 133-142. ISBN 0-444-89911-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20093)

1993

Dent, Alan and Hanna, Keith (1993) Reasoning about array structures using a dependently typed logic. In: Agnew, David and Claesen, Luc J. M. and Camposano, Raul, eds. IFIP transactions a-computer science and technology. North Holland, pp. 207-224. ISBN 0-444-81641-0. (doi:10.1016/B978-0-444-81641-2.50022-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20872)

1992

Hanna, Keith, Daeche, Neil (1992) The Veritas Design Logic; a User''s View. In: Proc. Theorem Provers in Circuit Design. . pp. 301-310. North Holland (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21015)

1986

Hanna, Keith, Daeche, Neil (1986) Specification and Verification using Higher-Order Logic: A Case Study. In: Formal Aspects of VLSI Design. . pp. 179-213. North Holland (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20913)

1985

Hanna, Keith, Daeche, Neil (1985) Specification and Verification using Higher-Order Logic. In: Computer Hardware Description Languages and their Applications. . pp. 418-433. North Holland (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20907)

1979

Parker, Kim T. (1979) Modelling inter-regional activity by means of trade biases. In: IFAC/IFORS Conference on Dynamic Modelling. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:10648)

This list was generated on Sun Dec 22 01:45:14 2024 GMT.