Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464477)

From MaRDI portal





scientific article; zbMATH DE number 2195499
Language Label Description Also known as
default for all languages
No label defined
    English
    Formal Techniques for Networked and Distributed Systems – FORTE 2004
    scientific article; zbMATH DE number 2195499

      Statements

      Identifiers