Merkliste 
 1 Ergebnisse 
 
1

A Proposal for Transaction-Level Verification with Componen..:

, In: Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2,
Ara, Koji ; Suzuki, Kei - p. 20082 ff. , 2003