BDBComp
Parceria:
SBC
Modelando Não-Determinismo e Iterações no VirD-GM

Felipe MunhozRenata Hax Sander ReiserAdenauer Corrêa Yamin

http://www.lbd.dcc.ufmg.br/colecoes/erad/2009/041.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
     Mantida por:
LBD