Quantified abstract configurations of distributed systems

  1. Albert, E.
  2. Correas, J.
  3. Puebla, G.
  4. Román-Díez, G.
Revista:
Formal Aspects of Computing

ISSN: 1433-299X,  0934-5043

Ano de publicación: 2015

Volume: 27

Número: 4

Páxinas: 665-699

Tipo: Artigo

DOI: 10.1007/S00165-014-0321-Z GOOGLE SCHOLAR
Fonte de datos: Scopus