Thorsten Wi?Mann


AuthID: R-00H-PTD

Publicações a aguardar confirmação

1
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

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