Browsing by Author Barbosa, Luís S.
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| 2015 | Completeness and decidability results for hybrid(ised) logics | Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart |  |
| 2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | |
| 5-Oct-2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. | article | |
| 15-Dec-2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A. | article | |
| 23-Mar-2023 | Paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, Luís S. | article | |
| 2-Apr-2016 | Reuse and integration of specification logics: the hybridisation perspective | Barbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, Renato | bookPart | |