Hybrid Dynamic Logic Institutions for Event/Data-Based Systems

AuthID
P-00V-7T4
3
Author(s)
Hennicker, R
·
Knapp, A
·
Document Type
Article
Year published
2021
Published
in FORMAL ASPECTS OF COMPUTING, ISSN: 0934-5043
Volume: 33, Issue: 6, Pages: 1209-1248 (40)
Indexing
Publication Identifiers
Dblp: journals/fac/HennickerKM21
Wos: WOS:000679239100002
Source Identifiers
ISSN: 0934-5043
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.