Prasad Prasad Sistla


AuthID: R-00H-A56

Publicações a aguardar confirmação

1
TÍTULO: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings
AUTORES: Allen Allen Emerson; Prasad Prasad Sistla;
PUBLICAÇÃO: 2000, FONTE: CAV, VOLUME: 1855
INDEXADO EM: DBLP

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

Links Úteis

Ajuda

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