Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29--31, 2013 (Q4968447)

From MaRDI portal





scientific article; zbMATH DE number 7080504
Language Label Description Also known as
default for all languages
No label defined
    English
    Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29--31, 2013
    scientific article; zbMATH DE number 7080504

      Statements

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references