Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Formal Aspects of Computing

ISSNs: 0934-5043

Weitere durchsuchbare ISSN (elektronisch): 1433-299X

Springer London

Scopus-Bewertung (2023): CiteScore 3,3 SJR 0,518 SNIP 1,091

Fachzeitschrift: Zeitschrift

Titel	Formal Aspects of Computing Formal aspects of computing
ISSNs	0934-5043
Weitere durchsuchbare ISSN (elektronisch)	1433-299X
Verlag	Springer London
ZDB-ID	1000496-8
ZDB-ID	1476364-3

Dubslaff, C., Koopmann, P. & Turhan, A-Y., 26 Mai 2021, in: Formal Aspects of Computing. 33, 6, S. 885–921 37 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Chrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2018, in: Formal Aspects of Computing. 30, 1, S. 45-75 31 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung