BDBComp
Parceria:
SBC
A Co-Synthesis Approach based on Symbolic Reachability Analysis

F. do NascimentoW. Rosenstiel

http://csdl.computer.org/dl/proceedings/sbcci/1998/8704/00/87040112.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD