Narrow your search

Library

KU Leuven (1)

UGent (1)

ULiège (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

2005 (1)

1994 (1)

Listing 1 - 2 of 2
Sort by
Hardware design verification : simulation and formal method-based approaches.
Author:
ISBN: 0131433474 Year: 2005 Publisher: Upper Saddle River Prentice Hall

Loading...
Export citation

Choose an application

Bookmark

Abstract

Timed boolean functions : a unified formalism for exact timing analysis
Authors: ---
ISBN: 0792394542 1461361567 1461526884 Year: 1994 Publisher: Boston, MA : Kluwer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 2 of 2
Sort by