![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Buchbeitrag
Anzahl der Publikationen: 2
Zeitschriftenartikel
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2018):
A logic for the stepwise development of reactive systems.
In: Theoretical Computer Science, Bd. 744: S. 78-96
Buchbeitrag
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2016):
Dynamic Logic with Binders and its Application to the Development of Reactive Systems.
In: Sampaio, Augusto und Wang, Farn (Hrsg.):
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9965. Cham: Springer. S. 422-440