Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Confirmed Publications: 12



11
TITLE: FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION  Full Text
AUTHORS: CARMO, J ; SERNADAS, A ;
PUBLISHED: 1991, SOURCE: INFORMATION SYSTEMS, VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
12
TITLE: Branching versus linear logics yet again
AUTHORS: Carmo, J ; Sernadas, A ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
Page 2 of 2. Total results: 12.

A place for researchers and their institutions

Useful Links

Get Help

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