Tornando a linguagem LOTOS apta para especificar sistemas dependentes do tempo
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 1995 |
| Tipo de documento: | Tese |
| Texto Completo: | https://repositorio.ufsc.br/handle/123456789/111733 |
| id |
UFSC_54824a83f75091eb838048dffe55eb8f |
|---|---|
| oai_identifier_str |
oai:repositorio.ufsc.br:123456789/111733 |
| network_name_str |
Repositório Institucional da UFSC |
| title |
Tornando a linguagem LOTOS apta para especificar sistemas dependentes do tempo |
| author |
Camargo, Murilo Silva de |
| publishDate |
1995 |
| format |
doctoralThesis |
| url |
https://repositorio.ufsc.br/handle/123456789/111733 |
| instname_str |
Universidade Federal de Santa Catarina (UFSC) |
| instacron_str |
UFSC |