Elisabete Maria da Silva Raposo Freire


AuthID: R-000-4H8

Publications Awaiting Confirmation

1
TITLE: Defining Behaviours by Quasi-finality  Full Text
AUTHORS: Elisabete Freire; Luis Monteiro ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 5902
INDEXED IN: Scopus WOS CrossRef

A place for researchers and their institutions

Useful Links

Get Help

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