cour_f72cdca9-d184-4f7a-bba0-d7d75af37e46

•  
• Visão geral
•  
• Publicações
•  
• Ver todos
•  

Visão geral

oferecido por

• Institut National Polytechnique de Grenoble 

Publicações

publicações

• Model-checking symbolique de description de circuits dans le langage SMAX  Documento