A logic for the stepwise development of reactive systems

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

Visão geral

autores

• Madeira, A
• Barbosa, L.S.
• Hennicker, R
• Manuel A. Martins

data de publicação

• outubro 2018

publicada em

• Theoretical Computer Science  Revista

Pesquisas

palavras-chave

• Dynamic logic
• Hybrid logic
• Reactive systems
• Specification

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.tcs.2018.03.004

Informação adicional documento

Página Inicial

• 78

página final

• 96

Volume

• 744