Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelJump to: Book section | Conference or workshop item
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) |
