Skip to main content
Kent Academic Repository

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 6.

Book section

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)
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)

Conference or workshop item

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)
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)
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)
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 Thu Mar 28 01:11:33 2024 GMT.