Publications

A Hybrid Dynamic Logic for Event/Data-Based Systems

AuthID
P-00Q-A9W

Author(s)

Hennicker, R

Madeira, A

Knapp, A

Editor(s)

Reiner Hähnle; Wil M. P. van der Aalst

Document Type

Proceedings Paper

Year published

2019

Published

in Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 11424, Pages: 79-97

Conference

22Nd International Conference on Fundamental Approaches to Software Engineering, Fase 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2019, Date: 6 April 2019 through 11 April 2019

Indexing