Temporal Logic for Social Networks Documento

• http://dx.doi.org/10.1093/logcom/exac023

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• Mario Roberto Folhadela Benevides

data de publicação

• 2021-01-01

publicada em

• JOURNAL OF LOGIC AND COMPUTATION (PRINT) 

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas

palavras-chave

• Model Checking
• Social Networks
• Temporal Logic

Identidade

identificador BrCris

• e021ff6221c2c68c864d78371f05c1d6

Informação adicional documento

série

• 6

Página Inicial

• 1088

página final

• 1108

Volume

• 32

Outro

tem linguagem

• Inglês