Hybrid Automata as Coalgebras Artigo de Conferência uri icon

resumo

  • Publicado em "Theoretical aspects of computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings". ISBN 978-3-319-46749-8

autores

  • Neves, R
  • Barbosa, L.S.

data de publicação

  • janeiro 1, 2016