Browsing by Author Barbosa, L.S.
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
2011 | Hybrid specification of reactive systems: An institutional approach | Madeira, A.; Faria, J.M.; Martins, Manuel A.; Barbosa, L.S. | bookPart | |
2011 | Hybridization of institutions | Martins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S. | bookPart | |
2009 | Refinement by interpretation in a general setting | Martins, Manuel A.; Madeira, A.; Barbosa, L.S. | article |