Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Confirmed Publications: 11



11
TITLE: A temporal logic approach to object certification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Ramos, J ;
PUBLISHED: 1996, SOURCE: DATA & KNOWLEDGE ENGINEERING, VOLUME: 19, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Página 2 de 2. Total de resultados: 11.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service