Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
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

Diese Liste wurde am Sat Mar 23 22:55:11 2024 CET erstellt.