Publications

AuthID
P-00V-7T4

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

Wos^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.1007/s00165-021-00550-7

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.

Useful Links