Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1

Zeitschriftenartikel

Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre und Mindt, Felix (2020): Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. In: Dynamic Logic: New Trends and Applications, Dali 2019, Bd. 12005: S. 19-34

Diese Liste wurde am Sat Jan 18 20:05:07 2025 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz