Harsh Beohar


AuthID: R-00H-4B8

Publicações a aguardar confirmação

1
TÍTULO: Conditional transition systems with upgrades PDF
AUTORES: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Sci. Comput. Program., VOLUME: 186
INDEXADO EM: DBLP arXiv
2
TÍTULO: A coalgebraic treatment of conditional transition systems with upgrades
AUTORES: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLICAÇÃO: 2018, FONTE: Logical Methods in Computer Science, VOLUME: 14, NÚMERO: 1
INDEXADO EM: DBLP
3
TÍTULO: Conditional transition systems with upgrades PDF
AUTORES: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva ;
PUBLICAÇÃO: 2017, FONTE: 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017
INDEXADO EM: DBLP arXiv

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service