Languages and models for hybrid automata: A coalgebraic perspective

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

Visão geral

resumo

• article in press

autores

• Neves, R
• Barbosa, L.S.

data de publicação

• janeiro 2018

publicada em

• Theoretical Computer Science  Revista

Pesquisas

palavras-chave

• Bisimulation
• Coalgebra
• Hybrid Automata
• Regular expression

Identidade

Digital Object Identifier (DOI)

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

Informação adicional documento

Página Inicial

• 113

página final

• 142

Volume

• 744