Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
cour_cb3e47be-2d35-4224-9861-8eaa2fd14aa7
Visão geral
Publicações
Ver todos
Visão geral
oferecido por
Illinois Institute of Technology
Publicações
publicações
Combination of Timed Petri Nets and Temporal Logic in Software
Documento
N/D
Documento