Distributed synthesis for regular and contextfree specifications (Q3088069)

From MaRDI portal





scientific article; zbMATH DE number 5940130
Language Label Description Also known as
default for all languages
No label defined
    English
    Distributed synthesis for regular and contextfree specifications
    scientific article; zbMATH DE number 5940130

      Statements

      Identifiers