Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69
Synthesis in presence of dynamic links - MaRDI portal

Synthesis in presence of dynamic links (Q2105465)

From MaRDI portal





scientific article; zbMATH DE number 7629163
Language Label Description Also known as
English
Synthesis in presence of dynamic links
scientific article; zbMATH DE number 7629163

    Statements

    title
    Synthesis in presence of dynamic links (English)
    0 references
    author
    Benedikt Bollig
    0 references
    Patricia Bouyer
    0 references
    Matthias Függer
    0 references
    Nathalie Sznajder
    0 references
    Béatrice Bérard
    0 references
    publication date
    8 December 2022
    0 references
    zbMATH Keywords
    synthesis
    0 references
    linear-time temporal logic
    0 references
    distributed computing
    0 references
    dynamic links
    0 references
    game theory
    0 references
    cites work
    Q5606989
    0 references
    Q4074888
    0 references
    Q3814796
    0 references
    Q4952307
    0 references
    Q3126969
    0 references
    Q5136322
    0 references
    Q4385530
    0 references

    Identifiers

    zbMATH DE Number
    7629163
    0 references
    OpenAlex ID
    W4205765403
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q2105465&oldid=43516432"
    Powered by MediaWiki