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

Año de publicación: 2015

Volumen: 27

Número: 4

Páginas: 665-699

Tipo: Artículo

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