Formal Aspects of Computing

ISSNs: 0934-5043

Weitere durchsuchbare ISSN (elektronisch): 1433-299X

Springer London

Scopus-Bewertung (2022): CiteScore 3 SJR 0,684 SNIP 1,356

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

Schlagworte

Verknüpfte Inhalte

Dubslaff, C., Koopmann, P. & Turhan, A-Y., 26 Mai 2021, in: Formal Aspects of Computing. 33, 6, S. 885–921 36 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