Buscas alternativas:
temporal ctl » temporal data (Expandir a busca), temporal _ (Expandir a busca), temporal and (Expandir a busca)
Exportação concluída — 
Mostrando 1 - 1 resultados de 1 para a busca '"Lógica Temporal CTL"', tempo de busca: 0,28s

1

Assuntos: “...Lógica Temporal CTL...”

Verificação de modelos em redes de petri orientadas a objetos.

Publicado em 2004
Acessar documento
Dissertação