Browsing by Subject Automação de lógica temporal linear
Showing results 1 to 1 of 1
Author(s) | Title | Issue Date | Type |
---|---|---|---|
Souza, Luiz Fernando Pereira de; Veloso, Sheila Regina Murgel | Uma automação de lógica temporal | 23-Dec-1992 | Relatório |