dblp.uni-trier.dewww.uni-trier.de

Henrique N. Cunha

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
1EECássio L. Rodrigues, Karina R. G. da Silva, Henrique N. Cunha: Improving functional verification of embedded systems using hierarchical composition and set theory. SAC 2009: 1632-1636

Coauthor Index

1Cássio L. Rodrigues [1]
2Karina R. G. da Silva [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)