Buscar por Materia Linear temporal logic automation
Mostrando resultados 1 a 1 de 1
Autor(es) | Título | Fecha de publicación | Tipo |
---|---|---|---|
Souza, Luiz Fernando Pereira de; Veloso, Sheila Regina Murgel | Uma automação de lógica temporal | 23-dic-1992 | Relatório |