Login / Signup

Proving properties of a new high speed data bus with predicate/transition nets.

Tino Pyssysalo
Published in: Microprocess. Microprogramming (1994)
Keyphrases