Elisabete Maria da Silva Raposo Freire
AuthID: R-000-4H8
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
AUTHORS: Elisabete Freire; Luis Monteiro ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 5902
