Hybrid Automata as Coalgebras
Artigo de Conferência
Visão geral
Identidade
Informação adicional documento
Ver Todos
Visão geral
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