Weiter zum Inhalt Weiter zur Fußzeile

Formal Methods in System Design

ISSNs: 0925-9856

Weitere durchsuchbare ISSN (elektronisch): 1572-8102

Springer, Dordrecht [u. a.]

Scopus-Bewertung (2023): CiteScore 2 SJR 0,4 SNIP 0,666

Fachzeitschrift: Zeitschrift

Titel
  • Formal Methods in System Design
ISSNs0925-9856
Weitere durchsuchbare ISSN (elektronisch)1572-8102
VerlagSpringer, Dordrecht [u. a.]
ZDB-ID1479899-2

Verknüpfte Inhalte

From LTL to unambiguous Büchi automata via disambiguation of alternating automata

Jantsch, S., Müller, D., Baier, C. & Klein, J., Okt. 2021, in: Formal Methods in System Design. 58, 1-2, S. 42–82 41 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung