Automatic Generation of CCS Specifications for Resource Sharing Problems
Autores
|
934 |
273,407,408
|
|
|
935 |
Marcelo Sihman
|
273,407,408
|
|
936 |
André Schimitt
|
273,407,408
|
Informações:
Publicações do PESC
Título
Automatic Generation of CCS Specifications for Resource Sharing Problems
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-434/97
Data
5/1997
Resumo
Abstract
Arquivo